public void setDestination(Statement destination) {
    ValidationHelper.assertTrue(destination != null, "Should not be null");
    this.destination = destination;
  }
Makes this edge point from a different source. This will
remove this edge as a successor of the old source,
add it as a successor of the new source,
and update the predecessor of the current destination.
@param newSource the new source of this edge
src/org/jetbrains/java/decompiler/modules/decompiler/StatEdge.java