By now, I have just one, so thanks for the assist. There’s always that one (sometimes puzzling) downvote on anything factual.
The pumping lemma, for anyone unfamiliar. It’s a consequence of the fact an FSM is finite, so you can construct a repeatable y just by exhausting the FSM’s ability to “remember” how much it’s seen.
I don’t know if anyone’s tried to prosecute this, though. It would seem kinda mean after someone’s been in a serious accident.
Also, IANAL, but there can be factors that protect you from charges sometimes. If the driver knew you weren’t wearing a seatbelt it probably becomes their fault in my jurisdiction, and if there’s debate about who knew what that’s reasonable doubt right there.