analysis for main.cpp in klee
add src_klee