test(cil2smt2): add more tests
feat(cil2smt): support cast expression