The spec defines where setVariable executes as a statement relative to element processing and model-group processing.
Question is: what does element and model group processing mean: the value region of the element, the content region of the element, or the whole element including all framing?
So, for an element, spec says that setVariables run after the element.
Rhetorical question: Does "after" mean after the terminator (including any expression for the terminator) has completed?