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