(APPLY-FOR-DEFEVALUATOR)
(MYEV)
(EVAL-LIST-KWOTE-LST)
(TRUE-LIST-FIX-EV-LST)
(EV-COMMUTES-CAR)
(EV-LST-COMMUTES-CDR)
(MYEV-CONSTRAINT-0)
(MYEV-CONSTRAINT-1)
(MYEV-CONSTRAINT-2)
(MYEV-CONSTRAINT-3)
(MYEV-CONSTRAINT-4)
(MYEV-CONSTRAINT-5)
(MYEV-CONSTRAINT-6)
(MYEV-CONSTRAINT-7)
(MYEV-CONSTRAINT-8)
