StringStatement ss = new StringInit(var, a);
m.addStatement(ss);
m.getEntry().addSucc(ss);
Return ret = new Return(var);
m.addStatement(ret);
ss.addSucc(ret);
methods.add(m);
tostring_targets.put(c, m);
tostring_methods.put(classname, m);
tostring_hotspots.put(c, ss);