let mk_empty_pre_st_bycase () =
  Array.make_matrix (!numberOfStates) (!numberOfStates) false