anchor.diff:  ; so that it will be the domain received.
   ; The return value of this function is not defined.
   
  -
   (defun psr-altera-dominio! (psr var dom)
   	(let ((maxsz (list-length (PSR-listvars psr))) )
   		(dotimes (i maxsz (PSR-listvars psr))
  
positive.code: 		)
  	)		
  )
  
  
  ; GET INFERENCE DOMAIN
  
  
negative.code: 	)	
  )
  
  ; ATRIBUICOES DO PSR
  
  ; Receives a PSR, and returns a list of all the PSR assignments.
  