- corrected a bug in term.ml: pseudo normalization was badly done, variables...

- corrected a bug in term.ml: pseudo normalization was badly done, variables must be collected in terms at each loop itaration to guarrantee that conditianal have a unique representation
- axiom_result type has been extended to include, in case of success, the information about was rule was used (symmetrical, encryption, decryption_
1 job for boundedrec in 1 minute and 53 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #4385
build

00:01:53