let is_active_aux init_states b =
let assumes =
(Logic_const.pands
(List.map Logic_const.pred_of_id_pred b.b_assumes))
in
fold_join_predicate State_set.fold
(fun init -> eval_predicate ~result:None (env_pre_f init) assumes)
init_states