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