Sequence violation checking simplified.