anchor.diff:  ;                                             LOAD                                        ;
   ; ======================================================================================= ;
   
  -; Invocacao dos ficheiros de teste.
  +; Invocation of test files.
   
   ;;;; =====> UNCOMMENT AS YOU NEED <===== ;;;;
   
  
positive.code: 
  ; PSR ATRIBUICOES CONSISTENTES EM ARCO
  
  ; Este teste recebe um PSR, uma variavel v1,
  ; e um valor para essa variavel, uma variavel v2 e um 
  ; valor para essa variavel, e retorna 2 valores.
  
  (defun psr-atribuicoes-consistentes-arco-p (psr var1 val1 var2 val2)
  	(let
  
negative.code: 
  ; HASHTABLE GLOBAL
  
  ; The variables of our PSR will serve to index the Hashtable
  ; and this way we can access the respective values at a lower cost.
  
  (defparameter myhashtable (make-hash-table :test 'equal))
  (defparameter hashtable2 (make-hash-table :test 'equal))
  