@NotNull
  @Override
  public Iterable<Instruction> allPredecessors() {
    return Collections.singletonList(myReturnInstruction);
  }
@NotNull
  @Override
  public Iterable<Instruction> allPredecessors()