@NotNull
  public static String getName(VarVersionPair versionPair) {
    return "var" + versionPair.var + (versionPair.version == 0 ? "" : "_" + versionPair.version);
  }
@NotNull
  public static String getName(VarVersionPair versionPair)