The state "partol" maintains the following invariant: After each transition, there is a tree on the right side of Kara or there is a tree on the right side behind Kara. If there is a tree in front and a tree to the right, Kara has to be careful: he can only turn left and cannot take a step forward right away, because he cannot be sure that there is no tree to his left.