fix(cil2smt2): remove debug msg
test(cil2smt2): add test7.c