(ATJ-ADD-SUB-INPUT-X-AINTEGER)
(ATJ-ADD-SUB-INPUT-Y-AINTEGER)
(ATJ-ADD-SUB-OUTPUT-1-AINTEGER
 (2 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE DEFAULT-UNARY-MINUS))
 )
(ATJ-ADD-SUB-OUTPUT-0-AINTEGER
 (2 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE DEFAULT-UNARY-MINUS))
 )
(ATJ-DIFF-TYPES-INPUT-C-ACHARACTER)
(ATJ-DIFF-TYPES-OUTPUT-2-ACHARACTER
 (1 1 (:REWRITE DEFAULT-CHAR-CODE))
 )
(ATJ-DIFF-TYPES-OUTPUT-1-ASTRING
 (1 1 (:REWRITE DEFAULT-CHAR-CODE))
 )
(ATJ-DIFF-TYPES-OUTPUT-0-AINTEGER
 (1 1 (:REWRITE DEFAULT-CHAR-CODE))
 )
