The robot is located in l if and only if
(1) sensors determined that
coordinates of the robot are (x,y) and the point (x,y)
is inside of the location l, or
(2) the last action is arrive successfully at l, or
(3) the robot is located in l and the last
action has no effect on the location of the robot:
