Tree pattern matching

I managed to find a very effective decomposition of the pattern tree, which gives several useful...