Add a few tests for the occupancy constraint