Some old code cleanup
Fix unification bug causing "all-fail" premises to remain in code.
Fix compilation of MergePoint and TryOr premises to handle the recently added PremiseBlock.
Add some debug statements to the generator