test(cil2smt2): add test7.c