test(cil2smt2): add more tests