Transition(name: String, direction: Direction, flow: Flow)
Transition proposition. A state satisfies this proposition if there is a transition in the specified direction (up/down) and flow in/out of the state.