anchor.diff:    ""
     (let ((antigo-dominio1 (psr-variavel-dominio p v1))
   	(antigo-dominio2 (psr-variavel-dominio p v2))
  +	(atribuicao1 (psr-variavel-valor p v1))
  +	(atribuicao2 (psr-variavel-valor p v2))
   	(consistente t)
   	(testes 0))
  +
       (psr-altera-dominio! p v1 (list valor1)) ; TODO
       (psr-altera-dominio! p v2 (list valor2)) ; TODO
       (psr-adiciona-atribuicao! p v1 valor1)
  
positive.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) (null (psr-variavel-atribuida-p p v)))
  
negative.code: (defun psr-atribuicao-consistente-p (p v valor)
    ""
    (let ((antigo-dominio (psr-variavel-dominio p v))
  	(atribuicao (psr-variavel-valor p v))
  	(consistente t)
  	(testes 0))
  
      (psr-altera-dominio! p v (list valor)) ; TODO: ainda e preciso?
      (psr-adiciona-atribuicao! p v valor)
      (setf (values consistente testes) (psr-variavel-consistente-p p v))
  
      (if atribuicao (psr-adiciona-atribuicao! p v atribuicao) (psr-remove-atribuicao! p v))
      (psr-altera-dominio! p v antigo-dominio) ; TODO: ainda e preceiso?
      (values consistente testes)))
  
  