evaluate -package:base

Predicate: do we know for sure that the given Id is evaluated?
Extract the SubDemand of a Demand. PRECONDITION: The SubDemand must be used in a context where the expression denoted by the Demand is under evaluation.
Not on Stackage, so not searched. Check whether a value has been evaluated