public static void prettyPrintRelationDefinition(Relation self, OutputStream stream) {
    { String definitionstring = Logic.stellaRelationStringifiedSource(self);

      if (definitionstring != null) {
        Logic.prettyPrintRelationDefinitionTree(((Cons)(Stella.readSExpressionFromString(definitionstring))), stream);
      }
    }
  }