Fix internal elarm_sup:which_servers/0 and test which_servers