let mk_empty_pre_or_post_bycase () =
  (Array.make_matrix (!numberOfStates) (!numberOfStates) false,
   Array.make_matrix (!numberOfStates) (!numberOfTransitions) false)