Define how Task lifecycle works on CHOICE_GROUP and CHOICE_BRANCH structures

Currently there is no clear description showing how (or if) to set lifecycle status on non-traversed branches of decision structures (i.e. the XXX_GROUP types inheriting from CHOICE_GROUP).

Something needs to be added to the specification to account for this.