-- The case binder is going to be evaluated later,
-- and the scrutinee is a simple variable
var_demanded_later (Var v) = isStrictDmd (idNewDemandInfo case_bndr)
-- The case binder is going to be evaluated later,
-- and the scrutinee is a simple variable
var_demanded_later (Var v) = isStrictDmd (idNewDemandInfo case_bndr)