automaton, Types.inferences);
IterativeRewriter.Strategy<ReductionRule> reductionStrategy = new UnfairRuleStateRewriteStrategy<ReductionRule>(
automaton, Types.reductions);
IterativeRewriter rw = new IterativeRewriter(automaton,
inferenceStrategy, reductionStrategy, Types.SCHEMA);
rw.apply();
//
// try {
// new PrettyAutomataWriter(System.err, SCHEMA, "And",
// "Or").write(automaton);
// System.out.println();