Added plugin to generate a more permissive explicit-state strategy.
It is maximally permissive if no liveness guarantees are present.