--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Tue May  4 13:26:14 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20401; Tue, 4 May 1993 13:26:14 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 0024; Tue, 04 May 93 13:26:45 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.5712.May.04.13:26:44.-0400>
--*           for asbugs@watson; Tue, 04 May 93 13:26:45 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 5710; Tue, 4 May 1993 13:26:44 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Tue, 04 May 93 13:26:43 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA63102; Tue, 4 May 1993 13:26:26 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20646; Tue, 4 May 1993 13:27:37 -0400
--* Date: Tue, 4 May 1993 13:27:37 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9305041727.AA20646@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: compiler gets "Assertion failed, ... tfsat.c" due to attempt to redefine function sup inherited from add domain [dirprod2.as][28.4 (current)]
--@ Fixed  by: SSD Mon May 17 14:52:20 1993
--@ Tested by: ../aslib/runtime.as
--@ Summary:   relaxed assertion in the presence of type check errors