blocksworld
-echo BLOCKS WORLD
-echo newline
-echo newline
-echo move BLOCK DESTINATION
-echo newline
-echo newline
-current T
-remove T
-assert T block1 on block2
-assert T block2 on block3
-assert T block3 on table
-assert T block4 on table
-assert T block5 on block4
-printblocks T
printblocks T
-T A on B
-if
-T C on A
-clear A
-clear B
-clear C
-next
-printblocks T
-else
-printrest1 T A
-echo newline
-clear A
-clear B
-clear C
-next
-printblocks T
printrest1 T X
-print X
-echo newline
-clear Y
-if
-T X on Y
-printrest1 T Y
-endif
clearb1 T B
-clear A
-if
-T A on B
-move1 A table
-endif
move1 X Y
-current T
-clearb1 T X
-remove T X
-assert T X on Y