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
)