Introduce `.withAllowedStates` to reduce possible states to some subset.
Introduce
.withAllowedStatesto reduce possible states to some subset.