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