try {
process(module, stage);
} catch (VerificationCheck.AssertionFailure ex) {
// FIXME: this feels a bit like a hack.
if(debug && ex.original() != null) {
Rewriter rw = ex.rewriter();
PrettyAutomataWriter writer = new PrettyAutomataWriter(System.out,SCHEMA,"Or","And");
writer.write(ex.original());
writer.flush();
System.err.println("\n\n=> (" + rw.getStats() + ")\n");
writer.write(ex.reduction());
writer.flush();
}
syntaxError(ex.getMessage(), module.filename(),
ex.assertion(), ex);