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