let played_by_intruder basic_role session_id =
  let player = basic_role#get_player in
  let player_instance =
    Globals.value_table#get_value 
      (Globals.memory_map#get_map
         (Globals.global_var_id#get_id_of session_id player))
  in
  if (!debug_level >= 2) then
    begin
      prerr_string "  instance of player: "
      Interface.prerr_ground_if_value player_instance; 
      prerr_newline(); 
    end;
  match player_instance with
    If_const(n) -> (n = Globals.global_i)
  | _ -> false