rule = rules.get(0);
while (!terminated()) {
if (rule == null) {
throw new EquationSolveException("No more matching rule");
}
System.out.printf(" rule: %s%n", rule);
if (isApplicable()) {
if (rule instanceof EquationRule) {
return fork(((EquationRule) rule).convertedEquations());