anchor.diff:  
   (defun psr-conta-valor (p variaveis valor)
     "Devolve o numero de variaveis (do argumento) que tem como valor o 'valor'."
  -  (count valor variaveis :key #'(lambda (v) (psr-variavel-valor p v)) :test 'eql)) ; TODO: eql vs =
  +  (count valor variaveis :key #'(lambda (v) (psr-variavel-valor p v)) :test 'eql))
   
   
   ;;; fill-a-pix->psr: array -> PSR
  
positive.code: ;;	      (when (and (not (= numero 0)) (>= (round (round soma numero) a-volta-len) 1))
  ;;		(setf (aref pix-hv ipix) 1)
  ;;		))
  
  
  	    (incf ipix)))))
  
  
negative.code: 	(push (list 0 1) dominios)
  	(when (numberp (aref tab l c))
  	  (let ((vav (variaveis-a-volta l c (array-dimension tab 0) (array-dimension tab 1)))
  		(numero (aref tab l c)))
  	    (push 
  	     (cria-restricao 
  	      vav
  