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