Wr2Fdr Tool Maintenance for Models Checking