ProB and LTSmin chunks converting. Error present state_label_count mismatch
ProB and LTSmin chunks converting. Error present state_label_count mismatch

lordqwerty/ltsmin,lordqwerty/ltsmin,lordqwerty/ltsmin,lordqwerty/ltsmin