3.1.8 ConditionBranch

specific state of a Condition