feat(cil2smt2): add support assert