- phi : (TagSet.t * state, bool * formula) Hashtbl.t;
- delta : (TagSet.t, Ptset.t * bool * Ptset.t * Ptset.t) Hashtbl.t;
- properties : (state,property) Hashtbl.t;
+ phi : (state,(TagSet.t*(bool*formula*predicate)) list) Hashtbl.t;
+ delta : (state*Tag.t, (bool*formula*predicate)) Hashtbl.t;
+(* delta : (state,(bool*formula*predicate) TagMap.t) Hashtbl.t; *)
+ sigma : (bool*formula*(predicate list*predicate list)*bool) HTagSet.t;
+