System.err.println("Total time: " + ((totalTime + System.currentTimeMillis())/1000.0) + "s");
String schedPath = outputDir +File.separator + baseName +".sched";
AGEvaluatorSwipl.writeFile(schedPath, sched.printBinding());
AGEvaluatorSwipl.writeFile(schedPath +"Summary", sched.printBindingShort());
String mapPath = outputDir + File.separator + baseName + ".json";
AGEvaluatorSwipl.writeFile(mapPath, new JSON(sched._ast).getJSON(" ", " "));
String fHeaders = functionHeaders(grammar.ast);