Fix a small bug in function that applies a substitution.  
Arrange that generated simplified formulas contain a lot of
debug information as comments.  
Ignoring comments when parsing .form files.
As a form of simplifying a formula, try to also remove all hypotheses
that contain variables not present in the conclusion.