Bug fix for Reduction

The wyrw.core.Reduction was not properly minimising automata during
rewriting.  This was exposed when working on the rewrite-based type
system for the VMCAI paper.  The fix is simply to include a minimisation
step.

Author: DavePearce

src/wyrw/core/Reduction.java

@@ -43,6 +43,7 @@ public int step(int from, int activation) {
 		int to;
 		if (target != Automaton.K_VOID && from != target) {
 			// Rule application produced an updated automaton
+			automaton.minimise();
 			automaton.compact(0);
 			to = addState(automaton);
 			if(to >= states.size()) {