let mk_empty_pre_or_post () = (Array.make (!numberOfStates) false, Array.make (!numberOfTransitions) false)