let check_player_of_role player role args =
if not (List.exists
(fun var ->
(var#get_id = player)
&& (var#get_type = Base(Agent)))
args)
then
add_sem_error(17,"",Globals.string_id#get_name role,"","","")