let behavior_from_name ab b = try List.find (fun b' -> b'.b_name = b) ab.funspec.spec_behavior with Not_found -> raise No_such_behavior