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