let add_inheritance_relation ty parentty = if TypeComparable.equal ty parentty then () else begin TypeHashtbl.add type_to_parent_type ty parentty; TypeUnion.unify ty parentty end