// an infinite loop of re-activations. More specifically, where
// we activate on a state and rewrite it, but then it remains
// and so we repeat.
reachable = updateReachable(automaton, reachable);
Result r = reduce(from,target,pivot);
//System.out.println("\nAUTOMATON(AFTER): " + automaton);
if(r == Result.TIMEOUT) {
// Reduction timeout