Semantic.hs Bug Fix