Comment by CodesInChaos

Why doesn't this end up with an infeasible number of rules and equally huge reassembled trees once you go beyond toy examples?