anchor.diff:  	)
   
   
  -; ======================================================================================== ;
  +
  +
  +; ======================================================================================= ;
   ;											/ APAGAR \
   ;
   ; RETORNO: logico, inteiro
  
positive.code: 
  (defun psr-atribuicoes (psr)
  	(let ((maxsz (list-length (PSR-listvars psr))) 
  				(myhashtable (make-hash-table :test 'equal))
  					(answ ())
  				)
  
  		(dotimes (i maxsz (PSR-listvars psr))
  			(setf answ
  				(append answ (list (cons (nth i (PSR-listvars psr))
  										 						 (list (nth i (PSR-listvalues psr)))
  										 				)
  											)
  			))
  		(PSR-listvalues psr))
  	)
  	answ
  )
  
negative.code: ;
  ; inteiro: n dos testes de consistencia.
  ;
  ; ======================================================================================= ;
  
  
  ; PSR ATRIBUICAO CONSISTENTE
  