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