Negociar - KLEE-DECL