Kleene's (unary) star in nondeterministic context.