sig
  type t
  val is_active : Active_behaviors.t -> Cil_types.behavior -> Alarmset.status
  val is_active_from_name : Active_behaviors.t -> string -> Alarmset.status
  val active_behaviors : Active_behaviors.t -> Cil_types.behavior list
  val create :
    (Cil_types.predicate -> Alarmset.status) ->
    Cil_types.spec -> Active_behaviors.t
end