CrossingElementAndPosition
A pair (movable crossing, state).
isRequestedByCrossingElementInPosition
requiresCrossingElementLockedInPosition
CrossingElementAndPosition
A pair (movable crossing, state).
inPosition
comment
A pair (movable crossing, state).