anchor.diff:              o
           else args++ (done through recursion)
   |#
  -(defun count (args)
  +(defun countNum (args)
   
       (if (null args) 
           ;first argument
           0
           ;second argument
  -        (+ 1 (count(cdr args)))
  +        (+ 1 (countNum(cdr args)))
       )
   )
   
  
positive.code:         )
          ((and 
              (equal (car (car P)) func) 
              (equal E (count (userDefinedArgs (cdr (car P)))))
          ) 
              (list (userDefinedArgs (cdr (car P))) (userDefinedBody (car P)))
          )
  
negative.code:                     (t
                          (let
                              ((evalArgsVar (evalArgs arg P values))
                                  (closure (userDefined func (countNum arg) P)))
                              (if closure
                                  (let
                                      ((variableX (getValues (car closure) evalArgsVar values))
  