anchor.diff:  	(return-from procura-retrocesso-simples (values p testes-total))
   	(let* ((v (first (psr-variaveis-nao-atribuidas p)))
   	       (d (psr-variavel-dominio p v)))
  +;	  (format t "v:~a d:~a~%" v d)
   	  (dolist (valor d)
   	    (multiple-value-bind (consistente testes) (psr-atribuicao-consistente-p p v valor)
   	      (incf testes-total testes)
  
positive.code: 
      min-v))
  
  
  ;;; procura-retrocesso-fc-mrv: PSR -> PSR, inteiro
  (defun procura-retrocesso-fc-mrv (p)
  
negative.code: 	  (setf consistente nil)
  	  (return))))
  
      (when (null atribuicao1) (psr-remove-atribuicao! p v1))
      (when (null atribuicao2) (psr-remove-atribuicao! p v2))
      (values consistente testes)))
  
  
  