Fixed a bug.  For a rule-match to be a valid step in a proof, the remaining parts of the before and after expressions have to be identical.
Fixed a bug.  For a rule-match to be a valid step in a proof, the remaining parts of the before and after expressions have to be identical.

Antony74/fol,Antony74/fol,Antony74/fol