Ahh, I get it now. In that case, maybe there is a problem with this whole PR. 

Yes, I think not working with more than one Wild is a bug, and it should be fixed.  But even then, acting from the bottom up doesn't seem natural to me.  Matching `2*x` instead of `2*x + y` is wrong.  If anything, it should check from the top down.