Denotational semantics homework for PL class