let active_behaviors ab =
    List.filter (is_active ab) ab.funspec.spec_behavior