res

   1 ## Without any hcons in Run:
   2 real    0m17.668s
   3 user    0m17.204s
   4 sys     0m0.395s
   5
   6 ## With a hconsed fixpoint in BU_Oracle:
   7 real    0m17.625s
   8 user    0m17.202s
   9 sys     0m0.395s
  10