evaluate package:ghc

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.