Version of May 2014

This version is broken: 
there is a problem with gluing solutions from the root of one tree to the leaves of the upper tree. The problem is that the solution does not fit the pattern of the leaf because it needs a column reduction first.

There is also a test file for this last version.
-Abraham