$ 0 0 Add a NEVER() to an unreachable branch in the new indexed-subtype logic. Mark the pi() function as deterministic. (tags: indexed-subtype-expr)