anchor.diff:  (defun psr-arcos-vizinhos-nao-atribuidos2 (p v)
     ""
     (let ((lista-arcos (list))
  -	(envolvidas (remove-duplicates (reduce #'append (psr-variavel-restricoes p v) :key 'restricao-variaveis) :test 'equal)))
  +	(envolvidas (remove-duplicates (reduce #'append (psr-variavel-restricoes p v) ; TODO: rever
  +					       :key 'restricao-variaveis)
  +				       :test 'equal)))
   ;    (format t "A variavel ~a tem estas restricoes:~a~%" v (psr-variavel-restricoes p v))
   ;    (format t "PAVNA: v:~a~%restricoes:~a~%envolvidas:~a~%" v (psr-variavel-restricoes p v) envolvidas)
  +;    (format t "PAVNA: var-natribuidas:~a~%" (psr-variaveis-nao-atribuidas p))
       (dolist (v-na (psr-variaveis-nao-atribuidas p))
         (when (not (equal v v-na))
   	(when (find v-na envolvidas :test 'equal)
  
positive.code: 
      min-v))
  
  
  ;;; procura-retrocesso-fc-mrv: PSR -> PSR, inteiro
  (defun procura-retrocesso-fc-mrv (p)
  
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
  