Lookup expression pointer in CVC4 cache whenever hashing consing is enabled