Acme++ operational on he size 7 example (4754 exprs and 2566 rules)