2
crazy2add ((ONE (MONE NIL)), (MONE NIL))
TA_Result(ZERO (MONE NIL))
2
crazy2add ((ONE (MONE (ONE NIL))), (ZERO NIL))
TA_Result(ONE (MONE (ONE NIL)))
2
crazy2add ((ONE (ZERO (ONE (MONE (ZERO (ONE NIL)))))), (ONE (ONE NIL)))
TA_Result(ZERO (ZERO (ZERO (ZERO (ZERO (ONE NIL))))))
2
crazy2add ((ONE (ONE (MONE (MONE (ONE (ONE NIL)))))), (ONE (ZERO (ONE (MONE (ZERO NIL))))))
TA_Result(ZERO (ZERO (ONE (ZERO (ZERO (ONE NIL))))))
2
crazy2add ((MONE NIL), (MONE NIL))
TA_Result(ZERO (MONE NIL))