e.g. RightRepeatOfLeft with b -> b# -> a. Condition: direction must change (otherwise passing motion)