Value equiv analysis can now handle array refs.