Function spec_hash_map_iterCopy item path

pub uninterp fn spec_hash_map_iter<'a, Key, Value, S>(
    m: &'a HashMap<Key, Value, S>,
) -> r : Iter<'a, Key, Value>