finishes denotational semantics for statements