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