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,"","","")