let mk_full_pre_or_post () = (Array.make (!numberOfStates) true, Array.make (!numberOfTransitions) true)