let check_states () =
  let states,trans = getAutomata() in
  let max = getNumberOfStates () in
  List.iter
    (fun x -> if x.nums >= max then
        Aorai_option.fatal "State %d found while max id is supposed to be %d"
          x.nums max)
    states;
  List.iter
    (fun x ->
      if not (List.memq x.start states) then
        Aorai_option.fatal
          "Start state %d of transition %d is not among known states"
          x.start.nums x.numt;
      if not (List.memq x.stop states) then
        Aorai_option.fatal
          "End state %d of transition %d is not among known states"
          x.start.nums x.numt;)
    trans