Lookup expression pointer in CVC4 cache whenever hashing consing is enabled
Lookup expression pointer in CVC4 cache whenever hashing consing is enabled

ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit