changed the Options type to contain unique branches with stop tags if they are enough for a decision.