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