let find_role some_role =
  try (
    snd
      (List.find
         (fun (a,_) -> a = some_role)
         !role_def_list))
  with Not_found ->
    (handleSemanticError (0,"",(Globals.string_id#get_name some_role),"","","");
     raise Not_found)