Is it POSSIBLE that a forward scan accidentally has predicates that match this case? Would the optimization still work correctly in that case?