anchor.diff:  
   (defun psr-var-maior-grau (p)
     ""
  -  (reduce #'(lambda (v1 v2) (if (> (n-restricoes-c-natribuidas p v1)
  -				   (n-restricoes-c-natribuidas p v2))
  -				v1 v2))
  -	  (psr-variaveis-nao-atribuidas p)))
  +  (first (sort (psr-variaveis-nao-atribuidas p) #'> :key #'(lambda (v)
  +							     (n-restricoes-c-natribuidas p v)))))
   
   
   ;;; procura-retrocesso-grau: PSR -> PSR, inteiro
  
positive.code: (defun psr-variavel-dominio (p v)
    "Devolve o dominio associado a uma variavel."
    (gethash v (psr-hash-d p)))
  
  
  ;;; psr-variavel-restricoes: PSR x variavel -> lista restricoes
  
negative.code:     (if (null p) nil (psr->fill-a-pix p (array-dimension tab 0) (array-dimension tab 1)))))
  
  
  (defun n-restricoes-c-natribuidas (p v)
    ""
    (count-if #'(lambda (r) (some #'(lambda (v) (psr-var-atribuida-p p v))
  