Auto-generated AlmostEmpty project