use raimondas's klee
Merge branch 'raimondas-klee' into simple-synthesis