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