DMNTools-0.05: fix the bug that assign wrong state number to MARs/MPRs...