Updated version that defines an effect as a transition with source and target state. Previously, the transition was only implicitly coded as an effect was equal to a state with a subsequent state.
Updated version that defines an effect as a transition with source and target state. Previously, the transition was only implicitly coded as an effect was equal to a state with a subsequent state.