Function spec_iterCopy item path

pub uninterp fn spec_iter<'a, T, A: Allocator>(v: &'a VecDeque<T, A>) -> r : Iter<'a, T>