anchor.diff:    (let ((tab (make-array (list linhas colunas)))
   	(i 0))
       (dolist (v (psr-variaveis-todas p) tab)
  -      (setf (aref tab (floor i colunas) (mod i colunas)) (first (gethash v (psr-hash-d p))))
  +      (setf (aref tab (floor i colunas) (mod i colunas)) (psr-variavel-valor p v))
         (incf i))))
   
   ;;;; 2.2.2
  
positive.code: ;;; psr-variavel-restricoes: PSR x variavel -> lista restricoes
  (defun psr-variavel-restricoes (p v)
    "Devolve uma lista com todas as restricoes aplicaveis a uma variavel."
    (gethash v (psr-hash-r p)))
  
  
  ;;; psr-adiciona-atribuicao!: PSR x variavel x valor -> {}
  
negative.code:   ""
    (let ((testes-total 0))
      (if (psr-completo-p p)
  	(return-from procura-retrocesso-fc-mrv (values p testes-total))
  	(let* ((v (psr-mrv p))
  	       (d (psr-variavel-dominio p v)))
  	  (dolist (valor d)
  