Update Blocks_World and Puddle_World (omitted from previous commits);