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