verify the result of the analysis against the semantics
refactor Ref and Exn, add Schemes