anchor.diff:  	 (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))
  +	 (pix-pix (make-array max-ipix :initial-element nil))
  +	 (pix-hv (make-array max-ipix :initial-element 0))
   	 (ipix 0))
   ;    (format t "Declarei tudo~%")
   ;    (format t "linhas:~a colunas:~a max-ipix:~a~%" linhas colunas max-ipix)
  
positive.code: 
  	    (setf (aref pix-a-volta ipix) a-volta)
  	    (push ipix pix-natribuidos)
  	    
  	    (when (numberp pix)
  	      (when (> pix a-volta-len) (setf pix-solucionavel nil) (return-from ciclos))
  
  	      (let* ((restricao (cria-restricao-fapix a-volta pix a-volta-len))
  		     (dominio (if (= pix 0) (list 0) (if (= pix a-volta-len) (list 1) nil))))
  
  
negative.code:       (setf (gethash x inferencias) novo-dominio-x)) ; TODO: sobrepor?
  
      (values revised testes-totais)))
  
  