@NotNull
  @Override
  protected String getElementPresentation() {
    return " Negating goto instruction, condition=" + getCondition().num() + getElement();
  }
@NotNull
  @Override
  protected String getElementPresentation()