a choice point is the state machine counterpart of a conditional statement

	StateMachine {
		State state0
		State state1
		State state2
		State state3
		TransitionPoint tr4
		ChoicePoint cp0
		Transition init0: initial -> state0
		Transition tr0: state0 -> state1 {
			triggers {
				<in1: p0>
			}
		}
		Transition tr1: state1 -> cp cp0 {
			triggers {
				<in1: p0>
			}
		}
		Transition tr2: cp cp0 -> state3
		Transition tr3: cp cp0 -> state2 {
			cond '''true'''
		}
		Transition tr5:  my tr4 -> state0 {
			triggers {
				<in2: p0>
			}
		}
	}