let is_empty_behavior assocs =
  Array.fold_left (fun b c -> if c then false else b) true assocs