?G_1:
  [(block ?G_1), (thing ?G_1), (clear ?G_1), (highest ?G_1), (above ?G_0 ?G_1), (above ?G_1 ?G_0), (above ?G_1 ?), (on ?G_1 ?), (above ? ?G_1), (on ? ?G_1), (not (block ?G_1)), (not (thing ?G_1)), (not (clear ?G_1)), (not (highest ?G_1)), (not (above ?G_0 ?G_1)), (not (above ?G_1 ?G_0)), (not (above ?G_1 ?)), (not (on ?G_1 ?)), (not (above ? ?G_1)), (not (on ? ?G_1))]
?G_0:
  [(block ?G_0), (thing ?G_0), (clear ?G_0), (above ?G_0 ?G_1), (above ?G_0 ?), (on ?G_0 ?), (above ?G_1 ?G_0), (above ? ?G_0), (on ? ?G_0), (not (block ?G_0)), (not (thing ?G_0)), (not (clear ?G_0)), (not (above ?G_0 ?G_1)), (not (above ?G_0 ?)), (not (on ?G_0 ?)), (not (above ?G_1 ?G_0)), (not (above ? ?G_0)), (not (on ? ?G_0))]

Local Invariants
Specific Invariants: [(block ?G_0), (thing ?G_0), (block ?G_1), (thing ?G_1), (above ?G_0 floor), (above ?G_1 floor)]
Never Present: [above, block, clear, floor, highest, on, thing]
Invariants count: 51