anchor.diff:              o
           else args++ (done through recursion)
   |#
  -(defun countNum (args)
  +(defun count (args)
   
       (if (null args) 
           ;first argument
           0
           ;second argument
  -        (+ 1 (countNum(cdr args)))
  +        (+ 1 (count(cdr args)))
       )
   )
   
  
positive.code: #|
      process of taking in theuserdefined program and 
      making this into Arguments and also a Body
  |#
  (defun userDefined (func E P)
      (cond
  
negative.code:         )
          ((and 
              (equal (car (car P)) func) 
              (equal E (count (userDefinedArgs (cdr (car P)))))
          ) 
              (list (userDefinedArgs (cdr (car P))) (userDefinedBody (car P)))
          )
  