public Iterable<? extends Instruction> pred(CallEnvironment env) {
final Stack<CallInstruction> stack = getStack(env, this);
for (InstructionImpl instruction : myPred) {
env.update(stack, instruction);
}
return myPred;
}
protected Stack<CallInstruction> getStack(CallEnvironment env, InstructionImpl instruction) {
return env.callStack(instruction);
}
