anchor.diff:  			   backup)
   
   ;		  (print "Removidas as inferencias:")
  -;		    (desenha-fill-a-pix (fapix->fill-a-pix f LC LC))
  +;		  (desenha-fill-a-pix (fapix->fill-a-pix f))
   		  ))
   
   	      (fapix-remove-atribuicao! f ipix)
   	      (push ipix (fapix-natribuidos f))
  -;	      (when DEBUG
  -;		(print "Removendo a atribuicao:")
  -;		(desenha-fill-a-pix (fapix->fill-a-pix f LC LC)))
  +	      (push ipix (aref (fapix-dominio-len f) (length d)))
  +
  +;	      (print "Removendo a atribuicao:")
  +;	      (desenha-fill-a-pix (fapix->fill-a-pix f))
   	      )))))
   
       (return-from procura-retrocesso-fc-mrv-fapix (values nil testes-totais))))
  
positive.code: 
  (defun fapix-altera-dominio! (f ipix d)
    ""
    (setf (aref (fapix-dominio f) ipix) d))
  
  (defun fapix-completo-p (f)
    ""
  
negative.code: 					                               ; por restricao
  	 (pix-natribuidos (list))
  	 (pix-solucionavel t) ; t de talvez :D
  	 (dominio-len (make-array 3 :initial-element nil))
  	 (pix-dominio-len-p (make-array max-ipix :initial-element nil))
  	 (ipix 0))
  ;    (format t "Declarei tudo~%")
  ;    (format t "linhas:~a colunas:~a max-ipix:~a~%" linhas colunas max-ipix)
      (block ciclos
        (dotimes (l linhas)
  	(dotimes (c colunas)
  