Fix FOLowerUnits
Fix FOLowerUnits
Checkpoint - Fix FOLowerUnits/Tracking
Last commit for 'Override & Copy' strategy; will be replaced with a 
'Substitution' proof rule implementation of the fix for this algorithm.
Add FOSubstitution Proof Rule