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