Definition: Occurrence selection and ownership

An occurrence selection retains the guard of each conditional and exactly one of its alternatives, recursively. It is a selection in the syntax tree, not a reduction. The set $\mathrm{own}(t)$ consists of the free runtime names of $t$.