Function spec_range_nextCopy item path

pub uninterp fn spec_range_next<A>(a: Range<A>) -> (Range<A>, Option<A>)