fix(cil2smt.ml): remove ssa visitor(bug)
fix(cil2smt.ml): correct variable numbering