Predicate HashedButNoHash::hashCall

predicate hashCall(Expr e)