anchor.diff:    (let* ((ipix (fapix-mrv-modificado f))
   	 (d (fapix-pix-dominio f ipix)))
   
  -    (when (= (length d) 2)
  -      (when (= (aref (fapix-hv f) ipix) 1)
  -	(setf d (reverse d))))
  +    ;; (when (= (length d) 2)
  +    ;;   (when (= (aref (fapix-hv f) ipix) 1)
  +    ;; 	(setf d (reverse d))))
   
       (dolist (cor d)
         (fapix-adiciona-atribuicao! f ipix cor)
  
positive.code: 	 (max-ipix (* linhas colunas))
  	 (pix-dominio (make-array max-ipix :initial-element (list 0 1)))
  	 (pix-atribuicoes (make-array max-ipix :initial-element nil))
  	 (pix-restricoes (make-array max-ipix :initial-element nil)) ; ipix->lista de restricoes
  	 (pix-a-volta (make-array max-ipix :initial-element nil))
  	 (pix-relacionados (make-array max-ipix :initial-element nil)) ; lista de ipix relacionados
  					                               ; 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))
  	 (pix-pix (make-array max-ipix :initial-element nil))
  
negative.code:   (let* ((ipix (fapix-mrv-modificado f))
  	 (d (fapix-pix-dominio f ipix)))
  
      ;; (when (= (length d) 2)
      ;;   (when (= (aref (fapix-hv f) ipix) 1)
      ;; 	(setf d (reverse d))))
  
      (dolist (cor d)
        (fapix-adiciona-atribuicao! f ipix cor)
  