Fix phase of context for denotation transformer

The phase is now always the phase on which the denotation transformer is defined.