@NotNull
  @Override
  public Iterable<Instruction> predecessors(@NotNull CallEnvironment environment) {
    environment.callStack(myReturnInstruction).push(myCall);
    return Collections.singletonList(myReturnInstruction);
  }
@NotNull
  @Override
  public Iterable<Instruction> predecessors(@NotNull CallEnvironment environment)