public static void println(PrintStream stream,AST ast){
  print(stream,ast);
  stream.println();
}

public static void println ( PrintStream stream , AST ast ) { print ( stream , ast ) ; stream . println ( ) ; }
format an ast and print it on the given stream
