E1 KLEE_CAS