Fixed week 3 - Conjunction tree flattened
Merge branch 'master' of https://github.com/martyn82/SST
CNF