stp-r940 for KLEE