İşlem - KLEE-DECL