-- NOTE: Exclusive upper bound
isEffectInfo :: IR.Predicate
isEffectInfo = IR.ValueIn (IR.Range sideEffecting live)
isEffectInfo :: IR.Predicate
isEffectInfo = IR.ValueIn (IR.Range sideEffecting live)
isEffectInfo = IR.ValueIn (IR.Range sideEffecting live)