if(op instanceof ExitOpcode)
return;
if(op instanceof BranchOpCode) {
BranchOpCode branchOpCode = op.as(BranchOpCode.class);
int jump = branchOpCode.decode(context, index).getJump();
analyze(jump, frame.stackAfter);
if(!branchOpCode.isConditional())
return;
}