* least one xLOAD corresponding instruction in their successor instructions
* (in the control flow graph).
*/
public static boolean analyze (ClassNode c, MethodNode m) throws Exception {
Analyzer a = new Analyzer(new DataflowInterpreter());
Frame[] frames = a.analyze(c, m);
// for each xLOAD instruction, we find the xSTORE instructions that can
// produce the value loaded by this instruction, and we put them in 'stores'
Set stores = new HashSet();