The switch conditional requires enum state variable.

[proofit404]

This is implicit state contract.

If in a story composition c1s1 sets b1v1 which will be used in the conditional, we should check enum type at the moment of assignment.