stop using Raimonads's klee