(visit x0y0z0)
(increase_z )
(visit x0y0z1)
(increase_z )
(visit x0y0z2)
(increase_z )
(visit x0y0z3)
(decrease_z )
(decrease_z )
(decrease_z )
; cost = 10 (unit cost)
