anchor.diff:                      (t
                           (let
                               ((evalArgsVar (evalArgs arg P values))
  -                                (closure (userDefined func (countNum arg) P)))
  +                                (closure (userDefined func (count arg) P)))
                               (if closure
                                   (let
                                       ((variableX (getValues (car closure) evalArgsVar values))
  
positive.code:             o
          else args++ (done through recursion)
  |#
  (defun countNum (args)
  
      (if (null args) 
          ;first argument
          0
          ;second argument
          (+ 1 (countNum(cdr args)))
      )
  )
  
  
negative.code: #|
      process of taking in theuserdefined program and 
      making this into Arguments and also a Body
  
      cond initial:
          (p == null)
              return nil
      cond two:
          (p == fun AND E )
  |#
  (defun userDefined (func E P)
      (cond
  