## 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
(~0% better)

## With hconsed fixpoint in BU_Oracle and BU_Over_approx
eal     0m12.884s
user    0m12.504s
sys     0m0.356s
(37% better)

## With hconsed fixpoint in BU_Oracle, BU_Over_approx and TP_Max