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); }