
Local Invariants
Specific Invariants: []
Never Present: [above, block, clear, floor, highest, on, thing]
Invariants count: 24