int numLocals = method.getCode().getMaxLocals();
int[] localStoreCount = new int[numLocals];
int[] localLoadCount = new int[numLocals];
int[] localIncrementCount = new int[numLocals];
MethodGen methodGen = classContext.getMethodGen(method);
<BUG>CFG cfg = classContext.getCFG(method);
BitSet liveStoreSetAtEntry = llsaDataflow.getAnalysis().getResultFact(cfg.getEntry());</BUG>
BitSet complainedAbout = new BitSet();
TypeDataflow typeDataflow = classContext.getTypeDataflow(method);
int localsThatAreParameters = PreorderVisitor.getNumberArguments(method.getSignature());

int numLocals = method.getCode().getMaxLocals();
int[] localStoreCount = new int[numLocals];
int[] localLoadCount = new int[numLocals];
int[] localIncrementCount = new int[numLocals];
MethodGen methodGen = classContext.getMethodGen(method);
CFG cfg = classContext.getCFG(method);
if ((cfg.getFlags() & CFG.FOUND_UNCONDITIONAL_THROWERS) == CFG.FOUND_UNCONDITIONAL_THROWERS)
return;
BitSet liveStoreSetAtEntry = llsaDataflow.getAnalysis().getResultFact(cfg.getEntry());
BitSet complainedAbout = new BitSet();
TypeDataflow typeDataflow = classContext.getTypeDataflow(method);
int localsThatAreParameters = PreorderVisitor.getNumberArguments(method.getSignature());
