Add tests for FOLowerUnits