そもそもワスは公式が勝手に言ってるだけでアニメ本編じゃ一度も使われてないんだよね
ワルプルギスの夜に関してもそんなおぞましい名前で呼ばないでみたいなこと言ってたし

名前のない上級生が正式ではある