@Override
  public String toString() {
    int[] indexes = getSuccessorIndexes();
    return "RETURN" + (indexes.length == 0 ? "" : " [traps: " + Arrays.toString(indexes) + "]");
  }
@Override
  public String toString()