The problem can also be solved without monitor fields by using critical section states.
The solution requires two states, one for the "normal" sections of the corridor and one for the narrow sections. The state "narrow" is a critical section state and is used whenever a Kara wants to pass a narrow section. When Kara is standing in front of a mushroom, he changes into the state "narrow" which he leaves after again reaching a wide section of the corridor.