let mk_full_pre_or_post_bycase () = (Array.make_matrix (!numberOfStates) (!numberOfStates) true, Array.make_matrix (!numberOfStates) (!numberOfTransitions) true)