Add contraction tests
Add FOLowerUnits tests