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