public static void prettyPrintRelationDefinitionTree(Cons tree, OutputStream stream) {
    Logic.helpPrettyPrintRelationDefinitionTree(tree, stream, 0, 2, true);
    stream.nativeStream.println();
  }