@Override
  @NonNls
  public String toString() {
    @NonNls final StringBuilder builder = new StringBuilder();
    builder.append(num());
    builder.append("(");
    for (Instruction successor : allSuccessors()) {
      builder.append(successor.num());
      builder.append(',');
    }
    if (allPredecessors().iterator().hasNext()) builder.delete(builder.length() - 1, builder.length());
    builder.append(") ").append("THROW. ").append(getElementPresentation());
    return builder.toString();
  }
@Override
  @NonNls
  public String toString()