State

constructor(transitionsFn: () -> Set<S>, invariants: List<Invariant<ID, V, S>> = emptyList())