Variable var = application.createVariable(VariableType.STRING);
StringStatement spot = new StringAssignment(var, var);
m.addStatement(spot);
Return ret = new Return(var);
m.addStatement(ret);
spot.addSucc(ret);
tostring_hotspots.put(ac, spot); // these hotspots are used by
// StringAnalysis.getTypeAutomaton
Collection<SootClass> subtypes;
if (ac.isInterface())
subtypes = class_hierarchy.getImplementersOf(ac);