hashCode

Normalizing Typechecking SemanticException