Обычно таких « Сеней» все зовут.  Или « Сенькой»))) . Да Арсений - простецкое вообще то имя по сравнению с « ИрЭн», нет в нем столько гонора)). Вот если б она « Амадеем» назвала, тогда да, сопоставимо)))))