Cleaning up the code, and debugging
Working on diag

I do not think I can make this work with a substitution. Instead,
perform fine grained replacement in the conclusion while folding
through the split tree
Back on track, but still with this "non functionnal construction" bug
The first few tests are working again.