Please if you are in this situation do not take this advice. You just generate massive garbage abstractions upstream. If boolean arguments are out of hand, the problem isn't the boolean.
Oddly, almost noone has tried providing actual state machines where you have to prove you've figured out what the state transitions are.