Add additional test proof
Fix bug in FOLowerUnits

PremiseMap now being built correctly.
Fix FOLowerUnits; now first working version