src/Tools/Graphview/src/graphview.scala

         ToolTipManager.sharedInstance.setDismissDelay(1000*60*60)
 
         args.toList match {
           case List(arg) =>
             Model.decode_graph(YXML.parse_body(Symbol.decode(File.read(Path.explode(arg)))))
+              .transitive_reduction_acyclic
           case _ => error("Bad arguments:\n" + cat_lines(args))
         }
       }
       catch { case exn: Throwable => println(Exn.message(exn)); sys.exit(1) }