@Override
  public JumpInstruction clone() {
    JumpInstruction copy = (JumpInstruction)super.clone();
    copy.destination = destination;
    return copy;
  }
@Override
  public JumpInstruction clone()