Document choice pseudostate.
Test without default choice.