Introduce a range version of std::find, and use in SCEV