let test_behav asked_bh name_list = match name_list with
  | [] -> asked_bh = Macros.name_of_default_behavior
  | _ -> List.exists (fun b -> b = asked_bh) name_list