Handel - KLEE-DECL