@NotNull
  @Override
  public Iterable<Instruction> successors(@NotNull CallEnvironment environment) {
    environment.callStack(myCallee).push(this);
    return Collections.singletonList(myCallee);
  }
@NotNull
  @Override
  public Iterable<Instruction> successors(@NotNull CallEnvironment environment)