Accommodate KLEE and CPROVER framework