Yes, it's annoying that there isn't a good set of examples in TS 29.228.

Curiously, there's no way of expressing (A /\ B) \/ (-A /\ C) without testing A twice (the negation is on the SPT, not on the group within the SPT), so they haven't really thought this through - that's the natural formulation of if A then B else C.