Predicate HashedButNoHash::explicitly_hashed

predicate explicitly_hashed(ControlFlowNode f)