Parse tree matcher complete, in theory.