docs: public static TransactionException changingSuperWillDisconnectRole(Type oldSuper, Type newSuper, Role role) {
          return create(String.format("Cannot change the super type {%s} to {%s} because {%s} is connected to role {%s} which {%s} is not connected to.",
                                      oldSuper.label(), newSuper.label(), oldSuper.label(), role.label(), newSuper.label()));
      }