Не надо тут ахинею нести. Сеня сокращенно совсем другое имя. Всеволодов просто очень мало и вы не встречали детей с таким именем. А вот Семёнов и Арсениев сейчас не то чтобы очень много, но встречаются. И никто Севу на Сеню не меняет.