let mk_empty_pre_st () =
  Array.make (!numberOfStates) false