-- NOTE: Exclusive upper bound
isLivenessInfo :: IR.Predicate
isLivenessInfo = IR.ValueIn (IR.Range live ptrLowerBound)
isLivenessInfo :: IR.Predicate
isLivenessInfo = IR.ValueIn (IR.Range live ptrLowerBound)
isLivenessInfo = IR.ValueIn (IR.Range live ptrLowerBound)