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