System.out.println("-omitcomp -- omit compensation updates");
System.out.println("-mergenodes -- omit nodes for simpler role dependence graphs");
System.out.println("-debuggraph -- add edge labels and support to debug graph");
System.out.println("-omitcomp -- omit compensation updates");
System.out.println("-mergenodes -- omit nodes for simpler role dependence graphs");
System.out.println("-debuggraph -- add edge labels and support to debug graph");
} else if (args[i].equals("-depthconj")) {
Compiler.debuggraphs.add(new DebugItem(Integer.parseInt(args[i+1]),Integer.parseInt(args[i+2]),Integer.parseInt(args[i+3])));
i+=3;
} else if (args[i].equals("-depthconj")) {
Compiler.debuggraphs.add(new DebugItem(Integer.parseInt(args[i+1]),Integer.parseInt(args[i+2]),Integer.parseInt(args[i+3])));
i+=3;
} else if (args[i].equals("-debug")) {
Compiler.GENERATEDEBUGHOOKS=true;
} else if (args[i].equals("-time")) {
} else if (args[i].equals("-debug")) {
Compiler.GENERATEDEBUGHOOKS=true;
} else if (args[i].equals("-time")) {