fix(cil2smt.ml): remove ssa visitor(bug)
fix(cil2smt.ml): correct variable numbering
feat(cil2smt.ml): encode array expression
fix(test/test6.c): change test, add int
fix(cil2smt2/test/test5.c): add sincostbl