## Without any hcons in Run:
real    0m17.668s
user    0m17.204s
sys     0m0.395s

## With a hconsed fixpoint in BU_Oracle:
real    0m17.625s
user    0m17.202s
sys     0m0.395s