Adds more complicated turnstile state machine with violation mode