start parsing jimple to smt2