(EASY-TRANS)
(TRUE-LISTP-OF-UNION-EQUAL-TYPE-AGAIN)
(TRUE-LISTP-OF-UNION-EQUAL-TYPE-AGAIN
 (4 2 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-UNION-EQUAL-TYPE))
 (2 2 (:TYPE-PRESCRIPTION UNION-EQUAL))
 )
(TRUE-LISTP-OF-UNION-EQUAL-TYPE-AGAIN
 (4 2 (:TYPE-PRESCRIPTION TRUE-LISTP-OF-UNION-EQUAL-TYPE))
 (2 2 (:TYPE-PRESCRIPTION UNION-EQUAL))
 )
(TRUE-LISTP-OF-UNION-EQUAL-TYPE-AGAIN)
(TEST2)
