C94-2143 This section first describes a non-DSS unification algorithm that discards the structure
hide detail