diff --git a/non-regression/challenges/valid/challenge-case-split-non-pred-booleans__KO.mlw b/non-regression/challenges/valid/challenge-case-split-non-pred-booleans__KO.ae similarity index 100% rename from non-regression/challenges/valid/challenge-case-split-non-pred-booleans__KO.mlw rename to non-regression/challenges/valid/challenge-case-split-non-pred-booleans__KO.ae diff --git a/non-regression/challenges/valid/challenge-cubic_root_1__OK.why b/non-regression/challenges/valid/challenge-cubic_root_1__OK.ae similarity index 100% rename from non-regression/challenges/valid/challenge-cubic_root_1__OK.why rename to non-regression/challenges/valid/challenge-cubic_root_1__OK.ae diff --git a/non-regression/challenges/valid/challenge-cubic_root_2__OK.why b/non-regression/challenges/valid/challenge-cubic_root_2__OK.ae similarity index 100% rename from non-regression/challenges/valid/challenge-cubic_root_2__OK.why rename to non-regression/challenges/valid/challenge-cubic_root_2__OK.ae diff --git a/non-regression/challenges/valid/challenge-explicit-records.mlw b/non-regression/challenges/valid/challenge-explicit-records.ae similarity index 100% rename from non-regression/challenges/valid/challenge-explicit-records.mlw rename to non-regression/challenges/valid/challenge-explicit-records.ae diff --git a/non-regression/challenges/valid/challenge_with_rational_division__KO.mlw b/non-regression/challenges/valid/challenge_with_rational_division__KO.ae similarity index 100% rename from non-regression/challenges/valid/challenge_with_rational_division__KO.mlw rename to non-regression/challenges/valid/challenge_with_rational_division__KO.ae diff --git a/non-regression/challenges/valid/testfile-arith_mult_interval003__KO.mlw b/non-regression/challenges/valid/testfile-arith_mult_interval003__KO.ae similarity index 100% rename from non-regression/challenges/valid/testfile-arith_mult_interval003__KO.mlw rename to non-regression/challenges/valid/testfile-arith_mult_interval003__KO.ae diff --git a/non-regression/challenges/valid/testfile-arith_mult_interval004__KO.mlw b/non-regression/challenges/valid/testfile-arith_mult_interval004__KO.ae similarity index 100% rename from non-regression/challenges/valid/testfile-arith_mult_interval004__KO.mlw rename to non-regression/challenges/valid/testfile-arith_mult_interval004__KO.ae diff --git a/non-regression/challenges/valid/testfile-arith_mult_interval005__KO.mlw b/non-regression/challenges/valid/testfile-arith_mult_interval005__KO.ae similarity index 100% rename from non-regression/challenges/valid/testfile-arith_mult_interval005__KO.mlw rename to non-regression/challenges/valid/testfile-arith_mult_interval005__KO.ae diff --git a/non-regression/gui/display_enum_1.mlw b/non-regression/gui/display_enum_1.ae similarity index 100% rename from non-regression/gui/display_enum_1.mlw rename to non-regression/gui/display_enum_1.ae diff --git a/non-regression/gui/display_farray_1.mlw b/non-regression/gui/display_farray_1.ae similarity index 100% rename from non-regression/gui/display_farray_1.mlw rename to non-regression/gui/display_farray_1.ae diff --git a/non-regression/gui/display_record_1.mlw b/non-regression/gui/display_record_1.ae similarity index 100% rename from non-regression/gui/display_record_1.mlw rename to non-regression/gui/display_record_1.ae diff --git a/non-regression/gui/display_record_2.mlw b/non-regression/gui/display_record_2.ae similarity index 100% rename from non-regression/gui/display_record_2.mlw rename to non-regression/gui/display_record_2.ae diff --git a/non-regression/incorrect/arith/testfile-arith001.mlw b/non-regression/incorrect/arith/testfile-arith001.ae similarity index 100% rename from non-regression/incorrect/arith/testfile-arith001.mlw rename to non-regression/incorrect/arith/testfile-arith001.ae diff --git a/non-regression/incorrect/arith/testfile-arith002.mlw b/non-regression/incorrect/arith/testfile-arith002.ae similarity index 100% rename from non-regression/incorrect/arith/testfile-arith002.mlw rename to non-regression/incorrect/arith/testfile-arith002.ae diff --git a/non-regression/incorrect/arith/testfile-arith003.mlw b/non-regression/incorrect/arith/testfile-arith003.ae similarity index 100% rename from non-regression/incorrect/arith/testfile-arith003.mlw rename to non-regression/incorrect/arith/testfile-arith003.ae diff --git a/non-regression/incorrect/arith/testfile-arith004.mlw b/non-regression/incorrect/arith/testfile-arith004.ae similarity index 100% rename from non-regression/incorrect/arith/testfile-arith004.mlw rename to non-regression/incorrect/arith/testfile-arith004.ae diff --git a/non-regression/incorrect/everything/testfile-opcomp001.mlw b/non-regression/incorrect/everything/testfile-opcomp001.ae similarity index 100% rename from non-regression/incorrect/everything/testfile-opcomp001.mlw rename to non-regression/incorrect/everything/testfile-opcomp001.ae diff --git a/non-regression/incorrect/everything/testfile-opcomp002.mlw b/non-regression/incorrect/everything/testfile-opcomp002.ae similarity index 100% rename from non-regression/incorrect/everything/testfile-opcomp002.mlw rename to non-regression/incorrect/everything/testfile-opcomp002.ae diff --git a/non-regression/incorrect/typing/testfile-typage001.mlw b/non-regression/incorrect/typing/testfile-typage001.ae similarity index 100% rename from non-regression/incorrect/typing/testfile-typage001.mlw rename to non-regression/incorrect/typing/testfile-typage001.ae diff --git a/non-regression/incorrect/typing/testfile-typage002.mlw b/non-regression/incorrect/typing/testfile-typage002.ae similarity index 100% rename from non-regression/incorrect/typing/testfile-typage002.mlw rename to non-regression/incorrect/typing/testfile-typage002.ae diff --git a/non-regression/incorrect/typing/testfile-typage003.mlw b/non-regression/incorrect/typing/testfile-typage003.ae similarity index 100% rename from non-regression/incorrect/typing/testfile-typage003.mlw rename to non-regression/incorrect/typing/testfile-typage003.ae diff --git a/non-regression/incorrect/typing/testfile-typage004.mlw b/non-regression/incorrect/typing/testfile-typage004.ae similarity index 100% rename from non-regression/incorrect/typing/testfile-typage004.mlw rename to non-regression/incorrect/typing/testfile-typage004.ae diff --git a/non-regression/incorrect/typing/testfile-typage005.mlw b/non-regression/incorrect/typing/testfile-typage005.ae similarity index 100% rename from non-regression/incorrect/typing/testfile-typage005.mlw rename to non-regression/incorrect/typing/testfile-typage005.ae diff --git a/non-regression/incorrect/typing/testfile-typage006.mlw b/non-regression/incorrect/typing/testfile-typage006.ae similarity index 100% rename from non-regression/incorrect/typing/testfile-typage006.mlw rename to non-regression/incorrect/typing/testfile-typage006.ae diff --git a/non-regression/incorrect/typing/testfile-typage007.mlw b/non-regression/incorrect/typing/testfile-typage007.ae similarity index 100% rename from non-regression/incorrect/typing/testfile-typage007.mlw rename to non-regression/incorrect/typing/testfile-typage007.ae diff --git a/non-regression/invalid/arith/testfile-arith001.mlw b/non-regression/invalid/arith/testfile-arith001.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith001.mlw rename to non-regression/invalid/arith/testfile-arith001.ae diff --git a/non-regression/invalid/arith/testfile-arith002.mlw b/non-regression/invalid/arith/testfile-arith002.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith002.mlw rename to non-regression/invalid/arith/testfile-arith002.ae diff --git a/non-regression/invalid/arith/testfile-arith003.mlw b/non-regression/invalid/arith/testfile-arith003.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith003.mlw rename to non-regression/invalid/arith/testfile-arith003.ae diff --git a/non-regression/invalid/arith/testfile-arith004.mlw b/non-regression/invalid/arith/testfile-arith004.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith004.mlw rename to non-regression/invalid/arith/testfile-arith004.ae diff --git a/non-regression/invalid/arith/testfile-arith005.mlw b/non-regression/invalid/arith/testfile-arith005.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith005.mlw rename to non-regression/invalid/arith/testfile-arith005.ae diff --git a/non-regression/invalid/arith/testfile-arith006.mlw b/non-regression/invalid/arith/testfile-arith006.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith006.mlw rename to non-regression/invalid/arith/testfile-arith006.ae diff --git a/non-regression/invalid/arith/testfile-arith007.mlw b/non-regression/invalid/arith/testfile-arith007.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith007.mlw rename to non-regression/invalid/arith/testfile-arith007.ae diff --git a/non-regression/invalid/arith/testfile-arith008.mlw b/non-regression/invalid/arith/testfile-arith008.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith008.mlw rename to non-regression/invalid/arith/testfile-arith008.ae diff --git a/non-regression/invalid/arith/testfile-arith009.mlw b/non-regression/invalid/arith/testfile-arith009.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith009.mlw rename to non-regression/invalid/arith/testfile-arith009.ae diff --git a/non-regression/invalid/arith/testfile-arith010.mlw b/non-regression/invalid/arith/testfile-arith010.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith010.mlw rename to non-regression/invalid/arith/testfile-arith010.ae diff --git a/non-regression/invalid/arith/testfile-arith011.mlw b/non-regression/invalid/arith/testfile-arith011.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith011.mlw rename to non-regression/invalid/arith/testfile-arith011.ae diff --git a/non-regression/invalid/arith/testfile-arith012.mlw b/non-regression/invalid/arith/testfile-arith012.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith012.mlw rename to non-regression/invalid/arith/testfile-arith012.ae diff --git a/non-regression/invalid/arith/testfile-arith013.mlw b/non-regression/invalid/arith/testfile-arith013.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith013.mlw rename to non-regression/invalid/arith/testfile-arith013.ae diff --git a/non-regression/invalid/arith/testfile-arith014.mlw b/non-regression/invalid/arith/testfile-arith014.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith014.mlw rename to non-regression/invalid/arith/testfile-arith014.ae diff --git a/non-regression/invalid/arith/testfile-arith015.mlw b/non-regression/invalid/arith/testfile-arith015.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith015.mlw rename to non-regression/invalid/arith/testfile-arith015.ae diff --git a/non-regression/invalid/arith/testfile-arith016.mlw b/non-regression/invalid/arith/testfile-arith016.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith016.mlw rename to non-regression/invalid/arith/testfile-arith016.ae diff --git a/non-regression/invalid/arith/testfile-arith017.mlw b/non-regression/invalid/arith/testfile-arith017.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith017.mlw rename to non-regression/invalid/arith/testfile-arith017.ae diff --git a/non-regression/invalid/arith/testfile-arith018.mlw b/non-regression/invalid/arith/testfile-arith018.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith018.mlw rename to non-regression/invalid/arith/testfile-arith018.ae diff --git a/non-regression/invalid/arith/testfile-arith019.mlw b/non-regression/invalid/arith/testfile-arith019.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith019.mlw rename to non-regression/invalid/arith/testfile-arith019.ae diff --git a/non-regression/invalid/arith/testfile-arith020.mlw b/non-regression/invalid/arith/testfile-arith020.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith020.mlw rename to non-regression/invalid/arith/testfile-arith020.ae diff --git a/non-regression/invalid/arith/testfile-arith021.mlw b/non-regression/invalid/arith/testfile-arith021.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith021.mlw rename to non-regression/invalid/arith/testfile-arith021.ae diff --git a/non-regression/invalid/arith/testfile-arith022.mlw b/non-regression/invalid/arith/testfile-arith022.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith022.mlw rename to non-regression/invalid/arith/testfile-arith022.ae diff --git a/non-regression/invalid/arith/testfile-arith023.mlw b/non-regression/invalid/arith/testfile-arith023.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith023.mlw rename to non-regression/invalid/arith/testfile-arith023.ae diff --git a/non-regression/invalid/arith/testfile-arith024.mlw b/non-regression/invalid/arith/testfile-arith024.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith024.mlw rename to non-regression/invalid/arith/testfile-arith024.ae diff --git a/non-regression/invalid/arith/testfile-arith025.mlw b/non-regression/invalid/arith/testfile-arith025.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith025.mlw rename to non-regression/invalid/arith/testfile-arith025.ae diff --git a/non-regression/invalid/arith/testfile-arith026.mlw b/non-regression/invalid/arith/testfile-arith026.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith026.mlw rename to non-regression/invalid/arith/testfile-arith026.ae diff --git a/non-regression/invalid/arith/testfile-arith027.mlw b/non-regression/invalid/arith/testfile-arith027.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith027.mlw rename to non-regression/invalid/arith/testfile-arith027.ae diff --git a/non-regression/invalid/arith/testfile-arith028.mlw b/non-regression/invalid/arith/testfile-arith028.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith028.mlw rename to non-regression/invalid/arith/testfile-arith028.ae diff --git a/non-regression/invalid/arith/testfile-arith029.mlw b/non-regression/invalid/arith/testfile-arith029.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith029.mlw rename to non-regression/invalid/arith/testfile-arith029.ae diff --git a/non-regression/invalid/arith/testfile-arith030.mlw b/non-regression/invalid/arith/testfile-arith030.ae similarity index 100% rename from non-regression/invalid/arith/testfile-arith030.mlw rename to non-regression/invalid/arith/testfile-arith030.ae diff --git a/non-regression/invalid/arith_non_lin/intervals_bug001.mlw b/non-regression/invalid/arith_non_lin/intervals_bug001.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/intervals_bug001.mlw rename to non-regression/invalid/arith_non_lin/intervals_bug001.ae diff --git a/non-regression/invalid/arith_non_lin/intervals_bug002.mlw b/non-regression/invalid/arith_non_lin/intervals_bug002.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/intervals_bug002.mlw rename to non-regression/invalid/arith_non_lin/intervals_bug002.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult001.mlw b/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult001.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-ac_arith_mult001.mlw rename to non-regression/invalid/arith_non_lin/testfile-ac_arith_mult001.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult002.mlw b/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult002.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-ac_arith_mult002.mlw rename to non-regression/invalid/arith_non_lin/testfile-ac_arith_mult002.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult003.mlw b/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult003.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-ac_arith_mult003.mlw rename to non-regression/invalid/arith_non_lin/testfile-ac_arith_mult003.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult004.mlw b/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult004.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-ac_arith_mult004.mlw rename to non-regression/invalid/arith_non_lin/testfile-ac_arith_mult004.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult005.mlw b/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult005.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-ac_arith_mult005.mlw rename to non-regression/invalid/arith_non_lin/testfile-ac_arith_mult005.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult006.mlw b/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult006.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-ac_arith_mult006.mlw rename to non-regression/invalid/arith_non_lin/testfile-ac_arith_mult006.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult007.mlw b/non-regression/invalid/arith_non_lin/testfile-ac_arith_mult007.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-ac_arith_mult007.mlw rename to non-regression/invalid/arith_non_lin/testfile-ac_arith_mult007.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div001.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div001.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div001.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div001.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div002.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div002.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div002.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div002.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div003.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div003.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div003.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div003.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div004.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div004.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div004.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div004.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div005.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div005.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div005.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div005.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div006.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div006.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div006.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div006.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div007.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div007.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div007.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div007.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div008.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div008.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div008.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div008.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div009.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div009.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div009.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div009.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div010.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div010.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div010.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div010.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div011.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div011.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div011.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div011.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div012.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div012.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div012.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div012.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div013.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div013.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div013.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div013.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div014.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div014.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div014.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div014.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div015.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div015.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div015.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div015.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div016.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div016.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div016.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div016.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div_interval001.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div_interval001.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div_interval001.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div_interval001.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div_interval002.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div_interval002.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div_interval002.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div_interval002.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_div_interval003.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_div_interval003.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_div_interval003.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_div_interval003.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_mult_interval001.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_mult_interval001.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_mult_interval001.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_mult_interval001.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_mult_interval002.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_mult_interval002.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_mult_interval002.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_mult_interval002.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_mult_interval003.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_mult_interval003.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_mult_interval003.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_mult_interval003.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_mult_interval004.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_mult_interval004.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_mult_interval004.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_mult_interval004.ae diff --git a/non-regression/invalid/arith_non_lin/testfile-arith_mult_interval005.mlw b/non-regression/invalid/arith_non_lin/testfile-arith_mult_interval005.ae similarity index 100% rename from non-regression/invalid/arith_non_lin/testfile-arith_mult_interval005.mlw rename to non-regression/invalid/arith_non_lin/testfile-arith_mult_interval005.ae diff --git a/non-regression/invalid/arrays/testfile-arrays001.mlw b/non-regression/invalid/arrays/testfile-arrays001.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays001.mlw rename to non-regression/invalid/arrays/testfile-arrays001.ae diff --git a/non-regression/invalid/arrays/testfile-arrays002.mlw b/non-regression/invalid/arrays/testfile-arrays002.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays002.mlw rename to non-regression/invalid/arrays/testfile-arrays002.ae diff --git a/non-regression/invalid/arrays/testfile-arrays003.mlw b/non-regression/invalid/arrays/testfile-arrays003.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays003.mlw rename to non-regression/invalid/arrays/testfile-arrays003.ae diff --git a/non-regression/invalid/arrays/testfile-arrays004.mlw b/non-regression/invalid/arrays/testfile-arrays004.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays004.mlw rename to non-regression/invalid/arrays/testfile-arrays004.ae diff --git a/non-regression/invalid/arrays/testfile-arrays005.mlw b/non-regression/invalid/arrays/testfile-arrays005.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays005.mlw rename to non-regression/invalid/arrays/testfile-arrays005.ae diff --git a/non-regression/invalid/arrays/testfile-arrays006.mlw b/non-regression/invalid/arrays/testfile-arrays006.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays006.mlw rename to non-regression/invalid/arrays/testfile-arrays006.ae diff --git a/non-regression/invalid/arrays/testfile-arrays007.mlw b/non-regression/invalid/arrays/testfile-arrays007.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays007.mlw rename to non-regression/invalid/arrays/testfile-arrays007.ae diff --git a/non-regression/invalid/arrays/testfile-arrays008.mlw b/non-regression/invalid/arrays/testfile-arrays008.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays008.mlw rename to non-regression/invalid/arrays/testfile-arrays008.ae diff --git a/non-regression/invalid/arrays/testfile-arrays009.mlw b/non-regression/invalid/arrays/testfile-arrays009.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays009.mlw rename to non-regression/invalid/arrays/testfile-arrays009.ae diff --git a/non-regression/invalid/arrays/testfile-arrays010.mlw b/non-regression/invalid/arrays/testfile-arrays010.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays010.mlw rename to non-regression/invalid/arrays/testfile-arrays010.ae diff --git a/non-regression/invalid/arrays/testfile-arrays011.mlw b/non-regression/invalid/arrays/testfile-arrays011.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays011.mlw rename to non-regression/invalid/arrays/testfile-arrays011.ae diff --git a/non-regression/invalid/arrays/testfile-arrays012.mlw b/non-regression/invalid/arrays/testfile-arrays012.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays012.mlw rename to non-regression/invalid/arrays/testfile-arrays012.ae diff --git a/non-regression/invalid/arrays/testfile-arrays013.mlw b/non-regression/invalid/arrays/testfile-arrays013.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays013.mlw rename to non-regression/invalid/arrays/testfile-arrays013.ae diff --git a/non-regression/invalid/arrays/testfile-arrays014.mlw b/non-regression/invalid/arrays/testfile-arrays014.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays014.mlw rename to non-regression/invalid/arrays/testfile-arrays014.ae diff --git a/non-regression/invalid/arrays/testfile-arrays015.mlw b/non-regression/invalid/arrays/testfile-arrays015.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays015.mlw rename to non-regression/invalid/arrays/testfile-arrays015.ae diff --git a/non-regression/invalid/arrays/testfile-arrays016.mlw b/non-regression/invalid/arrays/testfile-arrays016.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-arrays016.mlw rename to non-regression/invalid/arrays/testfile-arrays016.ae diff --git a/non-regression/invalid/arrays/testfile-poly_arrays001.mlw b/non-regression/invalid/arrays/testfile-poly_arrays001.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-poly_arrays001.mlw rename to non-regression/invalid/arrays/testfile-poly_arrays001.ae diff --git a/non-regression/invalid/arrays/testfile-poly_arrays002.mlw b/non-regression/invalid/arrays/testfile-poly_arrays002.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-poly_arrays002.mlw rename to non-regression/invalid/arrays/testfile-poly_arrays002.ae diff --git a/non-regression/invalid/arrays/testfile-poly_arrays003.mlw b/non-regression/invalid/arrays/testfile-poly_arrays003.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-poly_arrays003.mlw rename to non-regression/invalid/arrays/testfile-poly_arrays003.ae diff --git a/non-regression/invalid/arrays/testfile-poly_arrays004.mlw b/non-regression/invalid/arrays/testfile-poly_arrays004.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-poly_arrays004.mlw rename to non-regression/invalid/arrays/testfile-poly_arrays004.ae diff --git a/non-regression/invalid/arrays/testfile-poly_arrays005.mlw b/non-regression/invalid/arrays/testfile-poly_arrays005.ae similarity index 100% rename from non-regression/invalid/arrays/testfile-poly_arrays005.mlw rename to non-regression/invalid/arrays/testfile-poly_arrays005.ae diff --git a/non-regression/invalid/bitv/testfile-bitv001.mlw b/non-regression/invalid/bitv/testfile-bitv001.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv001.mlw rename to non-regression/invalid/bitv/testfile-bitv001.ae diff --git a/non-regression/invalid/bitv/testfile-bitv002.mlw b/non-regression/invalid/bitv/testfile-bitv002.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv002.mlw rename to non-regression/invalid/bitv/testfile-bitv002.ae diff --git a/non-regression/invalid/bitv/testfile-bitv003.mlw b/non-regression/invalid/bitv/testfile-bitv003.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv003.mlw rename to non-regression/invalid/bitv/testfile-bitv003.ae diff --git a/non-regression/invalid/bitv/testfile-bitv004.mlw b/non-regression/invalid/bitv/testfile-bitv004.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv004.mlw rename to non-regression/invalid/bitv/testfile-bitv004.ae diff --git a/non-regression/invalid/bitv/testfile-bitv005.mlw b/non-regression/invalid/bitv/testfile-bitv005.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv005.mlw rename to non-regression/invalid/bitv/testfile-bitv005.ae diff --git a/non-regression/invalid/bitv/testfile-bitv006.mlw b/non-regression/invalid/bitv/testfile-bitv006.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv006.mlw rename to non-regression/invalid/bitv/testfile-bitv006.ae diff --git a/non-regression/invalid/bitv/testfile-bitv007.mlw b/non-regression/invalid/bitv/testfile-bitv007.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv007.mlw rename to non-regression/invalid/bitv/testfile-bitv007.ae diff --git a/non-regression/invalid/bitv/testfile-bitv008.mlw b/non-regression/invalid/bitv/testfile-bitv008.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv008.mlw rename to non-regression/invalid/bitv/testfile-bitv008.ae diff --git a/non-regression/invalid/bitv/testfile-bitv009.mlw b/non-regression/invalid/bitv/testfile-bitv009.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv009.mlw rename to non-regression/invalid/bitv/testfile-bitv009.ae diff --git a/non-regression/invalid/bitv/testfile-bitv010.mlw b/non-regression/invalid/bitv/testfile-bitv010.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv010.mlw rename to non-regression/invalid/bitv/testfile-bitv010.ae diff --git a/non-regression/invalid/bitv/testfile-bitv011.mlw b/non-regression/invalid/bitv/testfile-bitv011.ae similarity index 100% rename from non-regression/invalid/bitv/testfile-bitv011.mlw rename to non-regression/invalid/bitv/testfile-bitv011.ae diff --git a/non-regression/invalid/bool/testfile-bool001.mlw b/non-regression/invalid/bool/testfile-bool001.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool001.mlw rename to non-regression/invalid/bool/testfile-bool001.ae diff --git a/non-regression/invalid/bool/testfile-bool002.mlw b/non-regression/invalid/bool/testfile-bool002.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool002.mlw rename to non-regression/invalid/bool/testfile-bool002.ae diff --git a/non-regression/invalid/bool/testfile-bool003.mlw b/non-regression/invalid/bool/testfile-bool003.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool003.mlw rename to non-regression/invalid/bool/testfile-bool003.ae diff --git a/non-regression/invalid/bool/testfile-bool004.mlw b/non-regression/invalid/bool/testfile-bool004.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool004.mlw rename to non-regression/invalid/bool/testfile-bool004.ae diff --git a/non-regression/invalid/bool/testfile-bool005.mlw b/non-regression/invalid/bool/testfile-bool005.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool005.mlw rename to non-regression/invalid/bool/testfile-bool005.ae diff --git a/non-regression/invalid/bool/testfile-bool006.mlw b/non-regression/invalid/bool/testfile-bool006.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool006.mlw rename to non-regression/invalid/bool/testfile-bool006.ae diff --git a/non-regression/invalid/bool/testfile-bool007.mlw b/non-regression/invalid/bool/testfile-bool007.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool007.mlw rename to non-regression/invalid/bool/testfile-bool007.ae diff --git a/non-regression/invalid/bool/testfile-bool008.mlw b/non-regression/invalid/bool/testfile-bool008.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool008.mlw rename to non-regression/invalid/bool/testfile-bool008.ae diff --git a/non-regression/invalid/bool/testfile-bool009.mlw b/non-regression/invalid/bool/testfile-bool009.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool009.mlw rename to non-regression/invalid/bool/testfile-bool009.ae diff --git a/non-regression/invalid/bool/testfile-bool010.mlw b/non-regression/invalid/bool/testfile-bool010.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool010.mlw rename to non-regression/invalid/bool/testfile-bool010.ae diff --git a/non-regression/invalid/bool/testfile-bool011.mlw b/non-regression/invalid/bool/testfile-bool011.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool011.mlw rename to non-regression/invalid/bool/testfile-bool011.ae diff --git a/non-regression/invalid/bool/testfile-bool012.mlw b/non-regression/invalid/bool/testfile-bool012.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool012.mlw rename to non-regression/invalid/bool/testfile-bool012.ae diff --git a/non-regression/invalid/bool/testfile-bool013.mlw b/non-regression/invalid/bool/testfile-bool013.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool013.mlw rename to non-regression/invalid/bool/testfile-bool013.ae diff --git a/non-regression/invalid/bool/testfile-bool014.mlw b/non-regression/invalid/bool/testfile-bool014.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool014.mlw rename to non-regression/invalid/bool/testfile-bool014.ae diff --git a/non-regression/invalid/bool/testfile-bool015.mlw b/non-regression/invalid/bool/testfile-bool015.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool015.mlw rename to non-regression/invalid/bool/testfile-bool015.ae diff --git a/non-regression/invalid/bool/testfile-bool016.mlw b/non-regression/invalid/bool/testfile-bool016.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool016.mlw rename to non-regression/invalid/bool/testfile-bool016.ae diff --git a/non-regression/invalid/bool/testfile-bool017.mlw b/non-regression/invalid/bool/testfile-bool017.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool017.mlw rename to non-regression/invalid/bool/testfile-bool017.ae diff --git a/non-regression/invalid/bool/testfile-bool018.mlw b/non-regression/invalid/bool/testfile-bool018.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool018.mlw rename to non-regression/invalid/bool/testfile-bool018.ae diff --git a/non-regression/invalid/bool/testfile-bool019.mlw b/non-regression/invalid/bool/testfile-bool019.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool019.mlw rename to non-regression/invalid/bool/testfile-bool019.ae diff --git a/non-regression/invalid/bool/testfile-bool020.mlw b/non-regression/invalid/bool/testfile-bool020.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool020.mlw rename to non-regression/invalid/bool/testfile-bool020.ae diff --git a/non-regression/invalid/bool/testfile-bool021.mlw b/non-regression/invalid/bool/testfile-bool021.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool021.mlw rename to non-regression/invalid/bool/testfile-bool021.ae diff --git a/non-regression/invalid/bool/testfile-bool022.mlw b/non-regression/invalid/bool/testfile-bool022.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool022.mlw rename to non-regression/invalid/bool/testfile-bool022.ae diff --git a/non-regression/invalid/bool/testfile-bool023.mlw b/non-regression/invalid/bool/testfile-bool023.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool023.mlw rename to non-regression/invalid/bool/testfile-bool023.ae diff --git a/non-regression/invalid/bool/testfile-bool024.mlw b/non-regression/invalid/bool/testfile-bool024.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool024.mlw rename to non-regression/invalid/bool/testfile-bool024.ae diff --git a/non-regression/invalid/bool/testfile-bool025.mlw b/non-regression/invalid/bool/testfile-bool025.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool025.mlw rename to non-regression/invalid/bool/testfile-bool025.ae diff --git a/non-regression/invalid/bool/testfile-bool026.mlw b/non-regression/invalid/bool/testfile-bool026.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool026.mlw rename to non-regression/invalid/bool/testfile-bool026.ae diff --git a/non-regression/invalid/bool/testfile-bool027_bis.mlw b/non-regression/invalid/bool/testfile-bool027_bis.ae similarity index 100% rename from non-regression/invalid/bool/testfile-bool027_bis.mlw rename to non-regression/invalid/bool/testfile-bool027_bis.ae diff --git a/non-regression/invalid/cc/testfile-cc001.mlw b/non-regression/invalid/cc/testfile-cc001.ae similarity index 100% rename from non-regression/invalid/cc/testfile-cc001.mlw rename to non-regression/invalid/cc/testfile-cc001.ae diff --git a/non-regression/invalid/cc/testfile-cc002.mlw b/non-regression/invalid/cc/testfile-cc002.ae similarity index 100% rename from non-regression/invalid/cc/testfile-cc002.mlw rename to non-regression/invalid/cc/testfile-cc002.ae diff --git a/non-regression/invalid/cc/testfile-cc003.mlw b/non-regression/invalid/cc/testfile-cc003.ae similarity index 100% rename from non-regression/invalid/cc/testfile-cc003.mlw rename to non-regression/invalid/cc/testfile-cc003.ae diff --git a/non-regression/invalid/cc/testfile-cc004.mlw b/non-regression/invalid/cc/testfile-cc004.ae similarity index 100% rename from non-regression/invalid/cc/testfile-cc004.mlw rename to non-regression/invalid/cc/testfile-cc004.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith001.mlw b/non-regression/invalid/combination/testfile-ac_arith001.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith001.mlw rename to non-regression/invalid/combination/testfile-ac_arith001.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith002.mlw b/non-regression/invalid/combination/testfile-ac_arith002.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith002.mlw rename to non-regression/invalid/combination/testfile-ac_arith002.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith003.mlw b/non-regression/invalid/combination/testfile-ac_arith003.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith003.mlw rename to non-regression/invalid/combination/testfile-ac_arith003.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith004.mlw b/non-regression/invalid/combination/testfile-ac_arith004.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith004.mlw rename to non-regression/invalid/combination/testfile-ac_arith004.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith005.mlw b/non-regression/invalid/combination/testfile-ac_arith005.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith005.mlw rename to non-regression/invalid/combination/testfile-ac_arith005.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith006.mlw b/non-regression/invalid/combination/testfile-ac_arith006.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith006.mlw rename to non-regression/invalid/combination/testfile-ac_arith006.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith007.mlw b/non-regression/invalid/combination/testfile-ac_arith007.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith007.mlw rename to non-regression/invalid/combination/testfile-ac_arith007.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith008.mlw b/non-regression/invalid/combination/testfile-ac_arith008.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith008.mlw rename to non-regression/invalid/combination/testfile-ac_arith008.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith009.mlw b/non-regression/invalid/combination/testfile-ac_arith009.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith009.mlw rename to non-regression/invalid/combination/testfile-ac_arith009.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith010.mlw b/non-regression/invalid/combination/testfile-ac_arith010.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith010.mlw rename to non-regression/invalid/combination/testfile-ac_arith010.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith011.mlw b/non-regression/invalid/combination/testfile-ac_arith011.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith011.mlw rename to non-regression/invalid/combination/testfile-ac_arith011.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith012.mlw b/non-regression/invalid/combination/testfile-ac_arith012.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith012.mlw rename to non-regression/invalid/combination/testfile-ac_arith012.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith013.mlw b/non-regression/invalid/combination/testfile-ac_arith013.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith013.mlw rename to non-regression/invalid/combination/testfile-ac_arith013.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith014.mlw b/non-regression/invalid/combination/testfile-ac_arith014.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith014.mlw rename to non-regression/invalid/combination/testfile-ac_arith014.ae diff --git a/non-regression/invalid/combination/testfile-ac_arith015.mlw b/non-regression/invalid/combination/testfile-ac_arith015.ae similarity index 100% rename from non-regression/invalid/combination/testfile-ac_arith015.mlw rename to non-regression/invalid/combination/testfile-ac_arith015.ae diff --git a/non-regression/invalid/combination/testfile-sum_poly_arrays001.mlw b/non-regression/invalid/combination/testfile-sum_poly_arrays001.ae similarity index 100% rename from non-regression/invalid/combination/testfile-sum_poly_arrays001.mlw rename to non-regression/invalid/combination/testfile-sum_poly_arrays001.ae diff --git a/non-regression/invalid/combination/testfile-sum_poly_arrays002.mlw b/non-regression/invalid/combination/testfile-sum_poly_arrays002.ae similarity index 100% rename from non-regression/invalid/combination/testfile-sum_poly_arrays002.mlw rename to non-regression/invalid/combination/testfile-sum_poly_arrays002.ae diff --git a/non-regression/invalid/combination/testfile-sum_poly_arrays003.mlw b/non-regression/invalid/combination/testfile-sum_poly_arrays003.ae similarity index 100% rename from non-regression/invalid/combination/testfile-sum_poly_arrays003.mlw rename to non-regression/invalid/combination/testfile-sum_poly_arrays003.ae diff --git a/non-regression/invalid/everything/b0.mlw b/non-regression/invalid/everything/b0.ae similarity index 100% rename from non-regression/invalid/everything/b0.mlw rename to non-regression/invalid/everything/b0.ae diff --git a/non-regression/invalid/everything/b1.mlw b/non-regression/invalid/everything/b1.ae similarity index 100% rename from non-regression/invalid/everything/b1.mlw rename to non-regression/invalid/everything/b1.ae diff --git a/non-regression/invalid/everything/b3.mlw b/non-regression/invalid/everything/b3.ae similarity index 100% rename from non-regression/invalid/everything/b3.mlw rename to non-regression/invalid/everything/b3.ae diff --git a/non-regression/invalid/everything/b4.mlw b/non-regression/invalid/everything/b4.ae similarity index 100% rename from non-regression/invalid/everything/b4.mlw rename to non-regression/invalid/everything/b4.ae diff --git a/non-regression/invalid/everything/b5.mlw b/non-regression/invalid/everything/b5.ae similarity index 100% rename from non-regression/invalid/everything/b5.mlw rename to non-regression/invalid/everything/b5.ae diff --git a/non-regression/invalid/everything/bugfix#10.mlw b/non-regression/invalid/everything/bugfix#10.ae similarity index 100% rename from non-regression/invalid/everything/bugfix#10.mlw rename to non-regression/invalid/everything/bugfix#10.ae diff --git a/non-regression/invalid/everything/bugfix#9.mlw b/non-regression/invalid/everything/bugfix#9.ae similarity index 100% rename from non-regression/invalid/everything/bugfix#9.mlw rename to non-regression/invalid/everything/bugfix#9.ae diff --git a/non-regression/invalid/everything/bugfix#9bis.mlw b/non-regression/invalid/everything/bugfix#9bis.ae similarity index 100% rename from non-regression/invalid/everything/bugfix#9bis.mlw rename to non-regression/invalid/everything/bugfix#9bis.ae diff --git a/non-regression/invalid/everything/f-ite-invalid-1.mlw b/non-regression/invalid/everything/f-ite-invalid-1.ae similarity index 100% rename from non-regression/invalid/everything/f-ite-invalid-1.mlw rename to non-regression/invalid/everything/f-ite-invalid-1.ae diff --git a/non-regression/invalid/everything/f-ite-invalid-2.mlw b/non-regression/invalid/everything/f-ite-invalid-2.ae similarity index 100% rename from non-regression/invalid/everything/f-ite-invalid-2.mlw rename to non-regression/invalid/everything/f-ite-invalid-2.ae diff --git a/non-regression/invalid/everything/testfile-explanations001.mlw b/non-regression/invalid/everything/testfile-explanations001.ae similarity index 100% rename from non-regression/invalid/everything/testfile-explanations001.mlw rename to non-regression/invalid/everything/testfile-explanations001.ae diff --git a/non-regression/invalid/everything/testfile-injective001.mlw b/non-regression/invalid/everything/testfile-injective001.ae similarity index 100% rename from non-regression/invalid/everything/testfile-injective001.mlw rename to non-regression/invalid/everything/testfile-injective001.ae diff --git a/non-regression/invalid/everything/testfile-polymorphism001.mlw b/non-regression/invalid/everything/testfile-polymorphism001.ae similarity index 100% rename from non-regression/invalid/everything/testfile-polymorphism001.mlw rename to non-regression/invalid/everything/testfile-polymorphism001.ae diff --git a/non-regression/invalid/everything/testfile-predicate001.mlw b/non-regression/invalid/everything/testfile-predicate001.ae similarity index 100% rename from non-regression/invalid/everything/testfile-predicate001.mlw rename to non-regression/invalid/everything/testfile-predicate001.ae diff --git a/non-regression/invalid/everything/testfile-typage001.mlw b/non-regression/invalid/everything/testfile-typage001.ae similarity index 100% rename from non-regression/invalid/everything/testfile-typage001.mlw rename to non-regression/invalid/everything/testfile-typage001.ae diff --git a/non-regression/invalid/exists/testfile-exists001.mlw b/non-regression/invalid/exists/testfile-exists001.ae similarity index 100% rename from non-regression/invalid/exists/testfile-exists001.mlw rename to non-regression/invalid/exists/testfile-exists001.ae diff --git a/non-regression/invalid/exists/testfile-exists002.mlw b/non-regression/invalid/exists/testfile-exists002.ae similarity index 100% rename from non-regression/invalid/exists/testfile-exists002.mlw rename to non-regression/invalid/exists/testfile-exists002.ae diff --git a/non-regression/invalid/exists/testfile-exists003.mlw b/non-regression/invalid/exists/testfile-exists003.ae similarity index 100% rename from non-regression/invalid/exists/testfile-exists003.mlw rename to non-regression/invalid/exists/testfile-exists003.ae diff --git a/non-regression/invalid/exists/testfile-exists004.mlw b/non-regression/invalid/exists/testfile-exists004.ae similarity index 100% rename from non-regression/invalid/exists/testfile-exists004.mlw rename to non-regression/invalid/exists/testfile-exists004.ae diff --git a/non-regression/invalid/exists/testfile-exists006.mlw b/non-regression/invalid/exists/testfile-exists006.ae similarity index 100% rename from non-regression/invalid/exists/testfile-exists006.mlw rename to non-regression/invalid/exists/testfile-exists006.ae diff --git a/non-regression/invalid/exists/testfile-exists007.mlw b/non-regression/invalid/exists/testfile-exists007.ae similarity index 100% rename from non-regression/invalid/exists/testfile-exists007.mlw rename to non-regression/invalid/exists/testfile-exists007.ae diff --git a/non-regression/invalid/explanations/testfile-explanations001.mlw b/non-regression/invalid/explanations/testfile-explanations001.ae similarity index 100% rename from non-regression/invalid/explanations/testfile-explanations001.mlw rename to non-regression/invalid/explanations/testfile-explanations001.ae diff --git a/non-regression/invalid/explanations/testfile-explanations002.mlw b/non-regression/invalid/explanations/testfile-explanations002.ae similarity index 100% rename from non-regression/invalid/explanations/testfile-explanations002.mlw rename to non-regression/invalid/explanations/testfile-explanations002.ae diff --git a/non-regression/invalid/explanations/testfile-explanations003.mlw b/non-regression/invalid/explanations/testfile-explanations003.ae similarity index 100% rename from non-regression/invalid/explanations/testfile-explanations003.mlw rename to non-regression/invalid/explanations/testfile-explanations003.ae diff --git a/non-regression/invalid/explanations/testfile-explanations004.mlw b/non-regression/invalid/explanations/testfile-explanations004.ae similarity index 100% rename from non-regression/invalid/explanations/testfile-explanations004.mlw rename to non-regression/invalid/explanations/testfile-explanations004.ae diff --git a/non-regression/invalid/explanations/testfile-explanations005.mlw b/non-regression/invalid/explanations/testfile-explanations005.ae similarity index 100% rename from non-regression/invalid/explanations/testfile-explanations005.mlw rename to non-regression/invalid/explanations/testfile-explanations005.ae diff --git a/non-regression/invalid/explanations/testfile-explanations006.mlw b/non-regression/invalid/explanations/testfile-explanations006.ae similarity index 100% rename from non-regression/invalid/explanations/testfile-explanations006.mlw rename to non-regression/invalid/explanations/testfile-explanations006.ae diff --git a/non-regression/invalid/explanations/testfile-explanations007.mlw b/non-regression/invalid/explanations/testfile-explanations007.ae similarity index 100% rename from non-regression/invalid/explanations/testfile-explanations007.mlw rename to non-regression/invalid/explanations/testfile-explanations007.ae diff --git a/non-regression/invalid/explanations/testfile-explanations008.mlw b/non-regression/invalid/explanations/testfile-explanations008.ae similarity index 100% rename from non-regression/invalid/explanations/testfile-explanations008.mlw rename to non-regression/invalid/explanations/testfile-explanations008.ae diff --git a/non-regression/invalid/ite/ite-1.mlw b/non-regression/invalid/ite/ite-1.ae similarity index 100% rename from non-regression/invalid/ite/ite-1.mlw rename to non-regression/invalid/ite/ite-1.ae diff --git a/non-regression/invalid/ite/ite-2.mlw b/non-regression/invalid/ite/ite-2.ae similarity index 100% rename from non-regression/invalid/ite/ite-2.mlw rename to non-regression/invalid/ite/ite-2.ae diff --git a/non-regression/invalid/let/let--invalid-1.mlw b/non-regression/invalid/let/let--invalid-1.ae similarity index 100% rename from non-regression/invalid/let/let--invalid-1.mlw rename to non-regression/invalid/let/let--invalid-1.ae diff --git a/non-regression/invalid/let/let--invalid-2.mlw b/non-regression/invalid/let/let--invalid-2.ae similarity index 100% rename from non-regression/invalid/let/let--invalid-2.mlw rename to non-regression/invalid/let/let--invalid-2.ae diff --git a/non-regression/invalid/let/let--invalid-3.mlw b/non-regression/invalid/let/let--invalid-3.ae similarity index 100% rename from non-regression/invalid/let/let--invalid-3.mlw rename to non-regression/invalid/let/let--invalid-3.ae diff --git a/non-regression/invalid/let/let--invalid-4.mlw b/non-regression/invalid/let/let--invalid-4.ae similarity index 100% rename from non-regression/invalid/let/let--invalid-4.mlw rename to non-regression/invalid/let/let--invalid-4.ae diff --git a/non-regression/invalid/let/let--invalid-5.mlw b/non-regression/invalid/let/let--invalid-5.ae similarity index 100% rename from non-regression/invalid/let/let--invalid-5.mlw rename to non-regression/invalid/let/let--invalid-5.ae diff --git a/non-regression/invalid/let/let-form-1.mlw b/non-regression/invalid/let/let-form-1.ae similarity index 100% rename from non-regression/invalid/let/let-form-1.mlw rename to non-regression/invalid/let/let-form-1.ae diff --git a/non-regression/invalid/let/let-form-in-term.mlw b/non-regression/invalid/let/let-form-in-term.ae similarity index 100% rename from non-regression/invalid/let/let-form-in-term.mlw rename to non-regression/invalid/let/let-form-in-term.ae diff --git a/non-regression/invalid/let/let-term-in-form-1.mlw b/non-regression/invalid/let/let-term-in-form-1.ae similarity index 100% rename from non-regression/invalid/let/let-term-in-form-1.mlw rename to non-regression/invalid/let/let-term-in-form-1.ae diff --git a/non-regression/invalid/let/multi-1.mlw b/non-regression/invalid/let/multi-1.ae similarity index 100% rename from non-regression/invalid/let/multi-1.mlw rename to non-regression/invalid/let/multi-1.ae diff --git a/non-regression/invalid/let/multi-2.mlw b/non-regression/invalid/let/multi-2.ae similarity index 100% rename from non-regression/invalid/let/multi-2.mlw rename to non-regression/invalid/let/multi-2.ae diff --git a/non-regression/invalid/let/multi-3.mlw b/non-regression/invalid/let/multi-3.ae similarity index 100% rename from non-regression/invalid/let/multi-3.mlw rename to non-regression/invalid/let/multi-3.ae diff --git a/non-regression/invalid/let/testfile-let001.mlw b/non-regression/invalid/let/testfile-let001.ae similarity index 100% rename from non-regression/invalid/let/testfile-let001.mlw rename to non-regression/invalid/let/testfile-let001.ae diff --git a/non-regression/invalid/let/testfile-let002.mlw b/non-regression/invalid/let/testfile-let002.ae similarity index 100% rename from non-regression/invalid/let/testfile-let002.mlw rename to non-regression/invalid/let/testfile-let002.ae diff --git a/non-regression/invalid/let/testfile-let003.mlw b/non-regression/invalid/let/testfile-let003.ae similarity index 100% rename from non-regression/invalid/let/testfile-let003.mlw rename to non-regression/invalid/let/testfile-let003.ae diff --git a/non-regression/invalid/let/testfile-let004.mlw b/non-regression/invalid/let/testfile-let004.ae similarity index 100% rename from non-regression/invalid/let/testfile-let004.mlw rename to non-regression/invalid/let/testfile-let004.ae diff --git a/non-regression/invalid/let/testfile-let005.mlw b/non-regression/invalid/let/testfile-let005.ae similarity index 100% rename from non-regression/invalid/let/testfile-let005.mlw rename to non-regression/invalid/let/testfile-let005.ae diff --git a/non-regression/invalid/let/testfile-let006.mlw b/non-regression/invalid/let/testfile-let006.ae similarity index 100% rename from non-regression/invalid/let/testfile-let006.mlw rename to non-regression/invalid/let/testfile-let006.ae diff --git a/non-regression/invalid/let/testfile-let007.mlw b/non-regression/invalid/let/testfile-let007.ae similarity index 100% rename from non-regression/invalid/let/testfile-let007.mlw rename to non-regression/invalid/let/testfile-let007.ae diff --git a/non-regression/invalid/let/testfile-let008.mlw b/non-regression/invalid/let/testfile-let008.ae similarity index 100% rename from non-regression/invalid/let/testfile-let008.mlw rename to non-regression/invalid/let/testfile-let008.ae diff --git a/non-regression/invalid/let/testfile-let009.mlw b/non-regression/invalid/let/testfile-let009.ae similarity index 100% rename from non-regression/invalid/let/testfile-let009.mlw rename to non-regression/invalid/let/testfile-let009.ae diff --git a/non-regression/invalid/let/testfile-let010.mlw b/non-regression/invalid/let/testfile-let010.ae similarity index 100% rename from non-regression/invalid/let/testfile-let010.mlw rename to non-regression/invalid/let/testfile-let010.ae diff --git a/non-regression/invalid/polymorphism/testfile-polymorphism002.mlw b/non-regression/invalid/polymorphism/testfile-polymorphism002.ae similarity index 100% rename from non-regression/invalid/polymorphism/testfile-polymorphism002.mlw rename to non-regression/invalid/polymorphism/testfile-polymorphism002.ae diff --git a/non-regression/invalid/quantifiers/testfile-list001.mlw b/non-regression/invalid/quantifiers/testfile-list001.ae similarity index 100% rename from non-regression/invalid/quantifiers/testfile-list001.mlw rename to non-regression/invalid/quantifiers/testfile-list001.ae diff --git a/non-regression/invalid/quantifiers/testfile-list002.mlw b/non-regression/invalid/quantifiers/testfile-list002.ae similarity index 100% rename from non-regression/invalid/quantifiers/testfile-list002.mlw rename to non-regression/invalid/quantifiers/testfile-list002.ae diff --git a/non-regression/invalid/quantifiers/testfile-list003.mlw b/non-regression/invalid/quantifiers/testfile-list003.ae similarity index 100% rename from non-regression/invalid/quantifiers/testfile-list003.mlw rename to non-regression/invalid/quantifiers/testfile-list003.ae diff --git a/non-regression/invalid/quantifiers/testfile-list005.mlw b/non-regression/invalid/quantifiers/testfile-list005.ae similarity index 100% rename from non-regression/invalid/quantifiers/testfile-list005.mlw rename to non-regression/invalid/quantifiers/testfile-list005.ae diff --git a/non-regression/invalid/quantifiers/testfile-list006.mlw b/non-regression/invalid/quantifiers/testfile-list006.ae similarity index 100% rename from non-regression/invalid/quantifiers/testfile-list006.mlw rename to non-regression/invalid/quantifiers/testfile-list006.ae diff --git a/non-regression/invalid/quantifiers/testfile-quant001.mlw b/non-regression/invalid/quantifiers/testfile-quant001.ae similarity index 100% rename from non-regression/invalid/quantifiers/testfile-quant001.mlw rename to non-regression/invalid/quantifiers/testfile-quant001.ae diff --git a/non-regression/invalid/quantifiers/testfile-quant002.mlw b/non-regression/invalid/quantifiers/testfile-quant002.ae similarity index 100% rename from non-regression/invalid/quantifiers/testfile-quant002.mlw rename to non-regression/invalid/quantifiers/testfile-quant002.ae diff --git a/non-regression/invalid/quantifiers/testfile-quant003.mlw b/non-regression/invalid/quantifiers/testfile-quant003.ae similarity index 100% rename from non-regression/invalid/quantifiers/testfile-quant003.mlw rename to non-regression/invalid/quantifiers/testfile-quant003.ae diff --git a/non-regression/invalid/sum/testfile-sum001.mlw b/non-regression/invalid/sum/testfile-sum001.ae similarity index 100% rename from non-regression/invalid/sum/testfile-sum001.mlw rename to non-regression/invalid/sum/testfile-sum001.ae diff --git a/non-regression/invalid/sum/testfile-sum002.mlw b/non-regression/invalid/sum/testfile-sum002.ae similarity index 100% rename from non-regression/invalid/sum/testfile-sum002.mlw rename to non-regression/invalid/sum/testfile-sum002.ae diff --git a/non-regression/invalid/sum/testfile-sum003.mlw b/non-regression/invalid/sum/testfile-sum003.ae similarity index 100% rename from non-regression/invalid/sum/testfile-sum003.mlw rename to non-regression/invalid/sum/testfile-sum003.ae diff --git a/non-regression/invalid/sum/testfile-sum004.mlw b/non-regression/invalid/sum/testfile-sum004.ae similarity index 100% rename from non-regression/invalid/sum/testfile-sum004.mlw rename to non-regression/invalid/sum/testfile-sum004.ae diff --git a/non-regression/invalid/sum/testfile-sum005.mlw b/non-regression/invalid/sum/testfile-sum005.ae similarity index 100% rename from non-regression/invalid/sum/testfile-sum005.mlw rename to non-regression/invalid/sum/testfile-sum005.ae diff --git a/non-regression/invalid/sum/testfile-sum006.mlw b/non-regression/invalid/sum/testfile-sum006.ae similarity index 100% rename from non-regression/invalid/sum/testfile-sum006.mlw rename to non-regression/invalid/sum/testfile-sum006.ae diff --git a/non-regression/invalid/sum/testfile-sum007.mlw b/non-regression/invalid/sum/testfile-sum007.ae similarity index 100% rename from non-regression/invalid/sum/testfile-sum007.mlw rename to non-regression/invalid/sum/testfile-sum007.ae diff --git a/non-regression/invalid/sum/testfile-sum008.mlw b/non-regression/invalid/sum/testfile-sum008.ae similarity index 100% rename from non-regression/invalid/sum/testfile-sum008.mlw rename to non-regression/invalid/sum/testfile-sum008.ae diff --git a/non-regression/main_script.sh b/non-regression/main_script.sh index 44e316866..d27714d2f 100755 --- a/non-regression/main_script.sh +++ b/non-regression/main_script.sh @@ -44,26 +44,26 @@ trap "rm $main_script_out $main_script_err" EXIT score=0 total=0 -big_total=`ls challenges/*/*.mlw | wc -l` +big_total=`ls challenges/*/*.ae | wc -l` for kind in `ls challenges/` do echo "" echo -n "challenges/$kind" - for mlw in `ls challenges/$kind/*.mlw` + for ae in `ls challenges/$kind/*.ae` do tput hpa 25 total=`expr $total + 1` echo -n "$total / $big_total" - timeout 2 $pr $mlw $opt 1> $main_script_out 2> $main_script_err + timeout 2 $pr $ae $opt 1> $main_script_out 2> $main_script_err if grep -q -w Valid $main_script_out ; then score=`expr $score + 1` - echo "\e[32m > [OK] ../non-regression/$mlw\e[39m" + echo "\e[32m > [OK] ../non-regression/$ae\e[39m" else - echo ../non-regression/$mlw >> main_script.log + echo ../non-regression/$ae >> main_script.log cat $main_script_out >> main_script.log cat $main_script_err >> main_script.log echo "" >> main_script.log - echo " > [KO] ../non-regression/$mlw" + echo " > [KO] ../non-regression/$ae" fi done done @@ -82,25 +82,25 @@ echo "$limit" score=0 total=0 -big_total=`ls valid/*/*.mlw | wc -l` +big_total=`ls valid/*/*.ae | wc -l` for kind in `ls valid/` do echo "" echo -n "valid/$kind" - for mlw in `ls valid/$kind/*.mlw` + for ae in `ls valid/$kind/*.ae` do tput hpa 25 total=`expr $total + 1` echo -n "$total / $big_total" - timeout 2 $pr $mlw $opt 1> $main_script_out 2> $main_script_err + timeout 2 $pr $ae $opt 1> $main_script_out 2> $main_script_err if grep -q -w Valid $main_script_out ; then score=`expr $score + 1` else - echo ../non-regression/$mlw >> main_script.log + echo ../non-regression/$ae >> main_script.log cat $main_script_out >> main_script.log cat $main_script_err >> main_script.log echo "" >> main_script.log - echo " > [KO] ../non-regression/$mlw" + echo " > [KO] ../non-regression/$ae" fi done done @@ -119,25 +119,25 @@ echo "$limit" score=0 total=0 -big_total=`ls invalid/*/*.mlw | wc -l` +big_total=`ls invalid/*/*.ae | wc -l` for kind in `ls invalid/` do echo "" echo -n "invalid/$kind" - for mlw in `ls invalid/$kind/*.mlw` + for ae in `ls invalid/$kind/*.ae` do tput hpa 25 total=`expr $total + 1` echo -n "$total / $big_total" - timeout 2 $pr $mlw $opt 1> $main_script_out 2> $main_script_err + timeout 2 $pr $ae $opt 1> $main_script_out 2> $main_script_err if grep -q -w "I don't know" $main_script_out ; then score=`expr $score + 1` else - echo ../non-regression/$mlw >> main_script.log + echo ../non-regression/$ae >> main_script.log cat $main_script_out >> main_script.log cat $main_script_err >> main_script.log echo "" >> main_script.log - echo " > [KO] ../non-regression/$mlw" + echo " > [KO] ../non-regression/$ae" fi done done @@ -156,23 +156,23 @@ echo "$limit" score=0 total=0 -big_total=`ls incorrect/*/*.mlw | wc -l` +big_total=`ls incorrect/*/*.ae | wc -l` for kind in `ls incorrect/` do echo "" echo -n "incorrect/$kind" - for mlw in `ls incorrect/$kind/*.mlw` + for ae in `ls incorrect/$kind/*.ae` do tput hpa 25 total=`expr $total + 1` echo -n "$total / $big_total" - timeout 2 $pr $mlw $opt 1> $main_script_out 2> $main_script_err + timeout 2 $pr $ae $opt 1> $main_script_out 2> $main_script_err if [ $? -eq 0 ] ; then - echo ../non-regression/$mlw >> main_script.log + echo ../non-regression/$ae >> main_script.log cat $main_script_out >> main_script.log cat $main_script_err >> main_script.log echo "" >> main_script.log - echo " > [KO] ../non-regression/$mlw" + echo " > [KO] ../non-regression/$ae" else score=`expr $score + 1` fi diff --git a/non-regression/run_invalid.sh b/non-regression/run_invalid.sh index 204f68611..2c91d9646 100755 --- a/non-regression/run_invalid.sh +++ b/non-regression/run_invalid.sh @@ -2,8 +2,7 @@ alt_ergo_bin=$1 timelimit=$2 files="" -files="$files `find invalid/ -name '*'.mlw`" -files="$files `find invalid/ -name '*'.why`" +files="$files `find invalid/ -name '*'.ae`" files="$files `find invalid/ -name '*'.zip`" ## run Alt-Ergo with imperative SAT solver assisted with tableaux on invalid tests diff --git a/non-regression/run_valid.sh b/non-regression/run_valid.sh index 72438307a..9a8272316 100755 --- a/non-regression/run_valid.sh +++ b/non-regression/run_valid.sh @@ -2,8 +2,7 @@ alt_ergo_bin=$1 timelimit=$2 files="" -files="$files `find valid/ -name '*'.mlw`" -files="$files `find valid/ -name '*'.why`" +files="$files `find valid/ -name '*'.ae`" files="$files `find valid/ -name '*'.zip`" ## run Alt-Ergo with imperative SAT solver assisted with tableaux on valid tests diff --git a/non-regression/valid/ac/testfile-ac_arith001.mlw b/non-regression/valid/ac/testfile-ac_arith001.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith001.mlw rename to non-regression/valid/ac/testfile-ac_arith001.ae diff --git a/non-regression/valid/ac/testfile-ac_arith002.mlw b/non-regression/valid/ac/testfile-ac_arith002.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith002.mlw rename to non-regression/valid/ac/testfile-ac_arith002.ae diff --git a/non-regression/valid/ac/testfile-ac_arith003.mlw b/non-regression/valid/ac/testfile-ac_arith003.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith003.mlw rename to non-regression/valid/ac/testfile-ac_arith003.ae diff --git a/non-regression/valid/ac/testfile-ac_arith004.mlw b/non-regression/valid/ac/testfile-ac_arith004.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith004.mlw rename to non-regression/valid/ac/testfile-ac_arith004.ae diff --git a/non-regression/valid/ac/testfile-ac_arith005.mlw b/non-regression/valid/ac/testfile-ac_arith005.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith005.mlw rename to non-regression/valid/ac/testfile-ac_arith005.ae diff --git a/non-regression/valid/ac/testfile-ac_arith006.mlw b/non-regression/valid/ac/testfile-ac_arith006.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith006.mlw rename to non-regression/valid/ac/testfile-ac_arith006.ae diff --git a/non-regression/valid/ac/testfile-ac_arith007.mlw b/non-regression/valid/ac/testfile-ac_arith007.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith007.mlw rename to non-regression/valid/ac/testfile-ac_arith007.ae diff --git a/non-regression/valid/ac/testfile-ac_arith008.mlw b/non-regression/valid/ac/testfile-ac_arith008.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith008.mlw rename to non-regression/valid/ac/testfile-ac_arith008.ae diff --git a/non-regression/valid/ac/testfile-ac_arith009.mlw b/non-regression/valid/ac/testfile-ac_arith009.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith009.mlw rename to non-regression/valid/ac/testfile-ac_arith009.ae diff --git a/non-regression/valid/ac/testfile-ac_arith010.mlw b/non-regression/valid/ac/testfile-ac_arith010.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith010.mlw rename to non-regression/valid/ac/testfile-ac_arith010.ae diff --git a/non-regression/valid/ac/testfile-ac_arith011.mlw b/non-regression/valid/ac/testfile-ac_arith011.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith011.mlw rename to non-regression/valid/ac/testfile-ac_arith011.ae diff --git a/non-regression/valid/ac/testfile-ac_arith012.mlw b/non-regression/valid/ac/testfile-ac_arith012.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith012.mlw rename to non-regression/valid/ac/testfile-ac_arith012.ae diff --git a/non-regression/valid/ac/testfile-ac_arith013.mlw b/non-regression/valid/ac/testfile-ac_arith013.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith013.mlw rename to non-regression/valid/ac/testfile-ac_arith013.ae diff --git a/non-regression/valid/ac/testfile-ac_arith014.mlw b/non-regression/valid/ac/testfile-ac_arith014.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith014.mlw rename to non-regression/valid/ac/testfile-ac_arith014.ae diff --git a/non-regression/valid/ac/testfile-ac_arith015.mlw b/non-regression/valid/ac/testfile-ac_arith015.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith015.mlw rename to non-regression/valid/ac/testfile-ac_arith015.ae diff --git a/non-regression/valid/ac/testfile-ac_arith016.mlw b/non-regression/valid/ac/testfile-ac_arith016.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith016.mlw rename to non-regression/valid/ac/testfile-ac_arith016.ae diff --git a/non-regression/valid/ac/testfile-ac_arith017.mlw b/non-regression/valid/ac/testfile-ac_arith017.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith017.mlw rename to non-regression/valid/ac/testfile-ac_arith017.ae diff --git a/non-regression/valid/ac/testfile-ac_arith018.mlw b/non-regression/valid/ac/testfile-ac_arith018.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith018.mlw rename to non-regression/valid/ac/testfile-ac_arith018.ae diff --git a/non-regression/valid/ac/testfile-ac_arith019.mlw b/non-regression/valid/ac/testfile-ac_arith019.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith019.mlw rename to non-regression/valid/ac/testfile-ac_arith019.ae diff --git a/non-regression/valid/ac/testfile-ac_arith020.mlw b/non-regression/valid/ac/testfile-ac_arith020.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith020.mlw rename to non-regression/valid/ac/testfile-ac_arith020.ae diff --git a/non-regression/valid/ac/testfile-ac_arith021.mlw b/non-regression/valid/ac/testfile-ac_arith021.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith021.mlw rename to non-regression/valid/ac/testfile-ac_arith021.ae diff --git a/non-regression/valid/ac/testfile-ac_arith022.mlw b/non-regression/valid/ac/testfile-ac_arith022.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith022.mlw rename to non-regression/valid/ac/testfile-ac_arith022.ae diff --git a/non-regression/valid/ac/testfile-ac_arith023.mlw b/non-regression/valid/ac/testfile-ac_arith023.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith023.mlw rename to non-regression/valid/ac/testfile-ac_arith023.ae diff --git a/non-regression/valid/ac/testfile-ac_arith024.mlw b/non-regression/valid/ac/testfile-ac_arith024.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith024.mlw rename to non-regression/valid/ac/testfile-ac_arith024.ae diff --git a/non-regression/valid/ac/testfile-ac_arith025.mlw b/non-regression/valid/ac/testfile-ac_arith025.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith025.mlw rename to non-regression/valid/ac/testfile-ac_arith025.ae diff --git a/non-regression/valid/ac/testfile-ac_arith026.mlw b/non-regression/valid/ac/testfile-ac_arith026.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith026.mlw rename to non-regression/valid/ac/testfile-ac_arith026.ae diff --git a/non-regression/valid/ac/testfile-ac_arith027.mlw b/non-regression/valid/ac/testfile-ac_arith027.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith027.mlw rename to non-regression/valid/ac/testfile-ac_arith027.ae diff --git a/non-regression/valid/ac/testfile-ac_arith028.mlw b/non-regression/valid/ac/testfile-ac_arith028.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith028.mlw rename to non-regression/valid/ac/testfile-ac_arith028.ae diff --git a/non-regression/valid/ac/testfile-ac_arith029.mlw b/non-regression/valid/ac/testfile-ac_arith029.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith029.mlw rename to non-regression/valid/ac/testfile-ac_arith029.ae diff --git a/non-regression/valid/ac/testfile-ac_arith030.mlw b/non-regression/valid/ac/testfile-ac_arith030.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith030.mlw rename to non-regression/valid/ac/testfile-ac_arith030.ae diff --git a/non-regression/valid/ac/testfile-ac_arith031.mlw b/non-regression/valid/ac/testfile-ac_arith031.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith031.mlw rename to non-regression/valid/ac/testfile-ac_arith031.ae diff --git a/non-regression/valid/ac/testfile-ac_arith032.mlw b/non-regression/valid/ac/testfile-ac_arith032.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith032.mlw rename to non-regression/valid/ac/testfile-ac_arith032.ae diff --git a/non-regression/valid/ac/testfile-ac_arith033.mlw b/non-regression/valid/ac/testfile-ac_arith033.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith033.mlw rename to non-regression/valid/ac/testfile-ac_arith033.ae diff --git a/non-regression/valid/ac/testfile-ac_arith034.mlw b/non-regression/valid/ac/testfile-ac_arith034.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith034.mlw rename to non-regression/valid/ac/testfile-ac_arith034.ae diff --git a/non-regression/valid/ac/testfile-ac_arith035.mlw b/non-regression/valid/ac/testfile-ac_arith035.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith035.mlw rename to non-regression/valid/ac/testfile-ac_arith035.ae diff --git a/non-regression/valid/ac/testfile-ac_arith036.mlw b/non-regression/valid/ac/testfile-ac_arith036.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith036.mlw rename to non-regression/valid/ac/testfile-ac_arith036.ae diff --git a/non-regression/valid/ac/testfile-ac_arith037.mlw b/non-regression/valid/ac/testfile-ac_arith037.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith037.mlw rename to non-regression/valid/ac/testfile-ac_arith037.ae diff --git a/non-regression/valid/ac/testfile-ac_arith038.mlw b/non-regression/valid/ac/testfile-ac_arith038.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith038.mlw rename to non-regression/valid/ac/testfile-ac_arith038.ae diff --git a/non-regression/valid/ac/testfile-ac_arith039.mlw b/non-regression/valid/ac/testfile-ac_arith039.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith039.mlw rename to non-regression/valid/ac/testfile-ac_arith039.ae diff --git a/non-regression/valid/ac/testfile-ac_arith040.mlw b/non-regression/valid/ac/testfile-ac_arith040.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith040.mlw rename to non-regression/valid/ac/testfile-ac_arith040.ae diff --git a/non-regression/valid/ac/testfile-ac_arith041.mlw b/non-regression/valid/ac/testfile-ac_arith041.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith041.mlw rename to non-regression/valid/ac/testfile-ac_arith041.ae diff --git a/non-regression/valid/ac/testfile-ac_arith042.mlw b/non-regression/valid/ac/testfile-ac_arith042.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith042.mlw rename to non-regression/valid/ac/testfile-ac_arith042.ae diff --git a/non-regression/valid/ac/testfile-ac_arith043.mlw b/non-regression/valid/ac/testfile-ac_arith043.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith043.mlw rename to non-regression/valid/ac/testfile-ac_arith043.ae diff --git a/non-regression/valid/ac/testfile-ac_arith044.mlw b/non-regression/valid/ac/testfile-ac_arith044.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith044.mlw rename to non-regression/valid/ac/testfile-ac_arith044.ae diff --git a/non-regression/valid/ac/testfile-ac_arith045.mlw b/non-regression/valid/ac/testfile-ac_arith045.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith045.mlw rename to non-regression/valid/ac/testfile-ac_arith045.ae diff --git a/non-regression/valid/ac/testfile-ac_arith046.mlw b/non-regression/valid/ac/testfile-ac_arith046.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith046.mlw rename to non-regression/valid/ac/testfile-ac_arith046.ae diff --git a/non-regression/valid/ac/testfile-ac_arith047.mlw b/non-regression/valid/ac/testfile-ac_arith047.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith047.mlw rename to non-regression/valid/ac/testfile-ac_arith047.ae diff --git a/non-regression/valid/ac/testfile-ac_arith048.mlw b/non-regression/valid/ac/testfile-ac_arith048.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith048.mlw rename to non-regression/valid/ac/testfile-ac_arith048.ae diff --git a/non-regression/valid/ac/testfile-ac_arith049.mlw b/non-regression/valid/ac/testfile-ac_arith049.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith049.mlw rename to non-regression/valid/ac/testfile-ac_arith049.ae diff --git a/non-regression/valid/ac/testfile-ac_arith050.mlw b/non-regression/valid/ac/testfile-ac_arith050.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith050.mlw rename to non-regression/valid/ac/testfile-ac_arith050.ae diff --git a/non-regression/valid/ac/testfile-ac_arith051.mlw b/non-regression/valid/ac/testfile-ac_arith051.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith051.mlw rename to non-regression/valid/ac/testfile-ac_arith051.ae diff --git a/non-regression/valid/ac/testfile-ac_arith052.mlw b/non-regression/valid/ac/testfile-ac_arith052.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith052.mlw rename to non-regression/valid/ac/testfile-ac_arith052.ae diff --git a/non-regression/valid/ac/testfile-ac_arith053.mlw b/non-regression/valid/ac/testfile-ac_arith053.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith053.mlw rename to non-regression/valid/ac/testfile-ac_arith053.ae diff --git a/non-regression/valid/ac/testfile-ac_arith054.mlw b/non-regression/valid/ac/testfile-ac_arith054.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith054.mlw rename to non-regression/valid/ac/testfile-ac_arith054.ae diff --git a/non-regression/valid/ac/testfile-ac_arith055.mlw b/non-regression/valid/ac/testfile-ac_arith055.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith055.mlw rename to non-regression/valid/ac/testfile-ac_arith055.ae diff --git a/non-regression/valid/ac/testfile-ac_arith056.mlw b/non-regression/valid/ac/testfile-ac_arith056.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith056.mlw rename to non-regression/valid/ac/testfile-ac_arith056.ae diff --git a/non-regression/valid/ac/testfile-ac_arith057.mlw b/non-regression/valid/ac/testfile-ac_arith057.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith057.mlw rename to non-regression/valid/ac/testfile-ac_arith057.ae diff --git a/non-regression/valid/ac/testfile-ac_arith059.mlw b/non-regression/valid/ac/testfile-ac_arith059.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_arith059.mlw rename to non-regression/valid/ac/testfile-ac_arith059.ae diff --git a/non-regression/valid/ac/testfile-ac_empty001.mlw b/non-regression/valid/ac/testfile-ac_empty001.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty001.mlw rename to non-regression/valid/ac/testfile-ac_empty001.ae diff --git a/non-regression/valid/ac/testfile-ac_empty002.mlw b/non-regression/valid/ac/testfile-ac_empty002.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty002.mlw rename to non-regression/valid/ac/testfile-ac_empty002.ae diff --git a/non-regression/valid/ac/testfile-ac_empty003.mlw b/non-regression/valid/ac/testfile-ac_empty003.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty003.mlw rename to non-regression/valid/ac/testfile-ac_empty003.ae diff --git a/non-regression/valid/ac/testfile-ac_empty004.mlw b/non-regression/valid/ac/testfile-ac_empty004.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty004.mlw rename to non-regression/valid/ac/testfile-ac_empty004.ae diff --git a/non-regression/valid/ac/testfile-ac_empty005.mlw b/non-regression/valid/ac/testfile-ac_empty005.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty005.mlw rename to non-regression/valid/ac/testfile-ac_empty005.ae diff --git a/non-regression/valid/ac/testfile-ac_empty006.mlw b/non-regression/valid/ac/testfile-ac_empty006.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty006.mlw rename to non-regression/valid/ac/testfile-ac_empty006.ae diff --git a/non-regression/valid/ac/testfile-ac_empty007.mlw b/non-regression/valid/ac/testfile-ac_empty007.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty007.mlw rename to non-regression/valid/ac/testfile-ac_empty007.ae diff --git a/non-regression/valid/ac/testfile-ac_empty008.mlw b/non-regression/valid/ac/testfile-ac_empty008.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty008.mlw rename to non-regression/valid/ac/testfile-ac_empty008.ae diff --git a/non-regression/valid/ac/testfile-ac_empty009.mlw b/non-regression/valid/ac/testfile-ac_empty009.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty009.mlw rename to non-regression/valid/ac/testfile-ac_empty009.ae diff --git a/non-regression/valid/ac/testfile-ac_empty010.mlw b/non-regression/valid/ac/testfile-ac_empty010.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty010.mlw rename to non-regression/valid/ac/testfile-ac_empty010.ae diff --git a/non-regression/valid/ac/testfile-ac_empty011.mlw b/non-regression/valid/ac/testfile-ac_empty011.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty011.mlw rename to non-regression/valid/ac/testfile-ac_empty011.ae diff --git a/non-regression/valid/ac/testfile-ac_empty012.mlw b/non-regression/valid/ac/testfile-ac_empty012.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty012.mlw rename to non-regression/valid/ac/testfile-ac_empty012.ae diff --git a/non-regression/valid/ac/testfile-ac_empty013.mlw b/non-regression/valid/ac/testfile-ac_empty013.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty013.mlw rename to non-regression/valid/ac/testfile-ac_empty013.ae diff --git a/non-regression/valid/ac/testfile-ac_empty014.mlw b/non-regression/valid/ac/testfile-ac_empty014.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty014.mlw rename to non-regression/valid/ac/testfile-ac_empty014.ae diff --git a/non-regression/valid/ac/testfile-ac_empty015.mlw b/non-regression/valid/ac/testfile-ac_empty015.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty015.mlw rename to non-regression/valid/ac/testfile-ac_empty015.ae diff --git a/non-regression/valid/ac/testfile-ac_empty016.mlw b/non-regression/valid/ac/testfile-ac_empty016.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty016.mlw rename to non-regression/valid/ac/testfile-ac_empty016.ae diff --git a/non-regression/valid/ac/testfile-ac_empty017.mlw b/non-regression/valid/ac/testfile-ac_empty017.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty017.mlw rename to non-regression/valid/ac/testfile-ac_empty017.ae diff --git a/non-regression/valid/ac/testfile-ac_empty018.mlw b/non-regression/valid/ac/testfile-ac_empty018.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty018.mlw rename to non-regression/valid/ac/testfile-ac_empty018.ae diff --git a/non-regression/valid/ac/testfile-ac_empty019.mlw b/non-regression/valid/ac/testfile-ac_empty019.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty019.mlw rename to non-regression/valid/ac/testfile-ac_empty019.ae diff --git a/non-regression/valid/ac/testfile-ac_empty020.mlw b/non-regression/valid/ac/testfile-ac_empty020.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty020.mlw rename to non-regression/valid/ac/testfile-ac_empty020.ae diff --git a/non-regression/valid/ac/testfile-ac_empty021.mlw b/non-regression/valid/ac/testfile-ac_empty021.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty021.mlw rename to non-regression/valid/ac/testfile-ac_empty021.ae diff --git a/non-regression/valid/ac/testfile-ac_empty022.mlw b/non-regression/valid/ac/testfile-ac_empty022.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty022.mlw rename to non-regression/valid/ac/testfile-ac_empty022.ae diff --git a/non-regression/valid/ac/testfile-ac_empty023.mlw b/non-regression/valid/ac/testfile-ac_empty023.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty023.mlw rename to non-regression/valid/ac/testfile-ac_empty023.ae diff --git a/non-regression/valid/ac/testfile-ac_empty024.mlw b/non-regression/valid/ac/testfile-ac_empty024.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty024.mlw rename to non-regression/valid/ac/testfile-ac_empty024.ae diff --git a/non-regression/valid/ac/testfile-ac_empty025.mlw b/non-regression/valid/ac/testfile-ac_empty025.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty025.mlw rename to non-regression/valid/ac/testfile-ac_empty025.ae diff --git a/non-regression/valid/ac/testfile-ac_empty026.mlw b/non-regression/valid/ac/testfile-ac_empty026.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty026.mlw rename to non-regression/valid/ac/testfile-ac_empty026.ae diff --git a/non-regression/valid/ac/testfile-ac_empty027.mlw b/non-regression/valid/ac/testfile-ac_empty027.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty027.mlw rename to non-regression/valid/ac/testfile-ac_empty027.ae diff --git a/non-regression/valid/ac/testfile-ac_empty028.mlw b/non-regression/valid/ac/testfile-ac_empty028.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty028.mlw rename to non-regression/valid/ac/testfile-ac_empty028.ae diff --git a/non-regression/valid/ac/testfile-ac_empty029.mlw b/non-regression/valid/ac/testfile-ac_empty029.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty029.mlw rename to non-regression/valid/ac/testfile-ac_empty029.ae diff --git a/non-regression/valid/ac/testfile-ac_empty030.mlw b/non-regression/valid/ac/testfile-ac_empty030.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty030.mlw rename to non-regression/valid/ac/testfile-ac_empty030.ae diff --git a/non-regression/valid/ac/testfile-ac_empty031.mlw b/non-regression/valid/ac/testfile-ac_empty031.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty031.mlw rename to non-regression/valid/ac/testfile-ac_empty031.ae diff --git a/non-regression/valid/ac/testfile-ac_empty032.mlw b/non-regression/valid/ac/testfile-ac_empty032.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty032.mlw rename to non-regression/valid/ac/testfile-ac_empty032.ae diff --git a/non-regression/valid/ac/testfile-ac_empty033.mlw b/non-regression/valid/ac/testfile-ac_empty033.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty033.mlw rename to non-regression/valid/ac/testfile-ac_empty033.ae diff --git a/non-regression/valid/ac/testfile-ac_empty034.mlw b/non-regression/valid/ac/testfile-ac_empty034.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty034.mlw rename to non-regression/valid/ac/testfile-ac_empty034.ae diff --git a/non-regression/valid/ac/testfile-ac_empty035.mlw b/non-regression/valid/ac/testfile-ac_empty035.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty035.mlw rename to non-regression/valid/ac/testfile-ac_empty035.ae diff --git a/non-regression/valid/ac/testfile-ac_empty036.mlw b/non-regression/valid/ac/testfile-ac_empty036.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty036.mlw rename to non-regression/valid/ac/testfile-ac_empty036.ae diff --git a/non-regression/valid/ac/testfile-ac_empty037.mlw b/non-regression/valid/ac/testfile-ac_empty037.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty037.mlw rename to non-regression/valid/ac/testfile-ac_empty037.ae diff --git a/non-regression/valid/ac/testfile-ac_empty038.mlw b/non-regression/valid/ac/testfile-ac_empty038.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty038.mlw rename to non-regression/valid/ac/testfile-ac_empty038.ae diff --git a/non-regression/valid/ac/testfile-ac_empty039.mlw b/non-regression/valid/ac/testfile-ac_empty039.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty039.mlw rename to non-regression/valid/ac/testfile-ac_empty039.ae diff --git a/non-regression/valid/ac/testfile-ac_empty040.mlw b/non-regression/valid/ac/testfile-ac_empty040.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty040.mlw rename to non-regression/valid/ac/testfile-ac_empty040.ae diff --git a/non-regression/valid/ac/testfile-ac_empty041.mlw b/non-regression/valid/ac/testfile-ac_empty041.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty041.mlw rename to non-regression/valid/ac/testfile-ac_empty041.ae diff --git a/non-regression/valid/ac/testfile-ac_empty042.mlw b/non-regression/valid/ac/testfile-ac_empty042.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty042.mlw rename to non-regression/valid/ac/testfile-ac_empty042.ae diff --git a/non-regression/valid/ac/testfile-ac_empty043.mlw b/non-regression/valid/ac/testfile-ac_empty043.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty043.mlw rename to non-regression/valid/ac/testfile-ac_empty043.ae diff --git a/non-regression/valid/ac/testfile-ac_empty044.mlw b/non-regression/valid/ac/testfile-ac_empty044.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty044.mlw rename to non-regression/valid/ac/testfile-ac_empty044.ae diff --git a/non-regression/valid/ac/testfile-ac_empty045.mlw b/non-regression/valid/ac/testfile-ac_empty045.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty045.mlw rename to non-regression/valid/ac/testfile-ac_empty045.ae diff --git a/non-regression/valid/ac/testfile-ac_empty046.mlw b/non-regression/valid/ac/testfile-ac_empty046.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty046.mlw rename to non-regression/valid/ac/testfile-ac_empty046.ae diff --git a/non-regression/valid/ac/testfile-ac_empty047.mlw b/non-regression/valid/ac/testfile-ac_empty047.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty047.mlw rename to non-regression/valid/ac/testfile-ac_empty047.ae diff --git a/non-regression/valid/ac/testfile-ac_empty048.mlw b/non-regression/valid/ac/testfile-ac_empty048.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty048.mlw rename to non-regression/valid/ac/testfile-ac_empty048.ae diff --git a/non-regression/valid/ac/testfile-ac_empty049.mlw b/non-regression/valid/ac/testfile-ac_empty049.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty049.mlw rename to non-regression/valid/ac/testfile-ac_empty049.ae diff --git a/non-regression/valid/ac/testfile-ac_empty050.mlw b/non-regression/valid/ac/testfile-ac_empty050.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty050.mlw rename to non-regression/valid/ac/testfile-ac_empty050.ae diff --git a/non-regression/valid/ac/testfile-ac_empty051.mlw b/non-regression/valid/ac/testfile-ac_empty051.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty051.mlw rename to non-regression/valid/ac/testfile-ac_empty051.ae diff --git a/non-regression/valid/ac/testfile-ac_empty052.mlw b/non-regression/valid/ac/testfile-ac_empty052.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty052.mlw rename to non-regression/valid/ac/testfile-ac_empty052.ae diff --git a/non-regression/valid/ac/testfile-ac_empty053.mlw b/non-regression/valid/ac/testfile-ac_empty053.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty053.mlw rename to non-regression/valid/ac/testfile-ac_empty053.ae diff --git a/non-regression/valid/ac/testfile-ac_empty054.mlw b/non-regression/valid/ac/testfile-ac_empty054.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty054.mlw rename to non-regression/valid/ac/testfile-ac_empty054.ae diff --git a/non-regression/valid/ac/testfile-ac_empty055.mlw b/non-regression/valid/ac/testfile-ac_empty055.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty055.mlw rename to non-regression/valid/ac/testfile-ac_empty055.ae diff --git a/non-regression/valid/ac/testfile-ac_empty056.mlw b/non-regression/valid/ac/testfile-ac_empty056.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty056.mlw rename to non-regression/valid/ac/testfile-ac_empty056.ae diff --git a/non-regression/valid/ac/testfile-ac_empty057.mlw b/non-regression/valid/ac/testfile-ac_empty057.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty057.mlw rename to non-regression/valid/ac/testfile-ac_empty057.ae diff --git a/non-regression/valid/ac/testfile-ac_empty058.mlw b/non-regression/valid/ac/testfile-ac_empty058.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty058.mlw rename to non-regression/valid/ac/testfile-ac_empty058.ae diff --git a/non-regression/valid/ac/testfile-ac_empty059.mlw b/non-regression/valid/ac/testfile-ac_empty059.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty059.mlw rename to non-regression/valid/ac/testfile-ac_empty059.ae diff --git a/non-regression/valid/ac/testfile-ac_empty060.mlw b/non-regression/valid/ac/testfile-ac_empty060.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty060.mlw rename to non-regression/valid/ac/testfile-ac_empty060.ae diff --git a/non-regression/valid/ac/testfile-ac_empty061.mlw b/non-regression/valid/ac/testfile-ac_empty061.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty061.mlw rename to non-regression/valid/ac/testfile-ac_empty061.ae diff --git a/non-regression/valid/ac/testfile-ac_empty062.mlw b/non-regression/valid/ac/testfile-ac_empty062.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty062.mlw rename to non-regression/valid/ac/testfile-ac_empty062.ae diff --git a/non-regression/valid/ac/testfile-ac_empty063.mlw b/non-regression/valid/ac/testfile-ac_empty063.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty063.mlw rename to non-regression/valid/ac/testfile-ac_empty063.ae diff --git a/non-regression/valid/ac/testfile-ac_empty064.mlw b/non-regression/valid/ac/testfile-ac_empty064.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty064.mlw rename to non-regression/valid/ac/testfile-ac_empty064.ae diff --git a/non-regression/valid/ac/testfile-ac_empty065.mlw b/non-regression/valid/ac/testfile-ac_empty065.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty065.mlw rename to non-regression/valid/ac/testfile-ac_empty065.ae diff --git a/non-regression/valid/ac/testfile-ac_empty066.mlw b/non-regression/valid/ac/testfile-ac_empty066.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty066.mlw rename to non-regression/valid/ac/testfile-ac_empty066.ae diff --git a/non-regression/valid/ac/testfile-ac_empty067.mlw b/non-regression/valid/ac/testfile-ac_empty067.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty067.mlw rename to non-regression/valid/ac/testfile-ac_empty067.ae diff --git a/non-regression/valid/ac/testfile-ac_empty068.mlw b/non-regression/valid/ac/testfile-ac_empty068.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty068.mlw rename to non-regression/valid/ac/testfile-ac_empty068.ae diff --git a/non-regression/valid/ac/testfile-ac_empty069.mlw b/non-regression/valid/ac/testfile-ac_empty069.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty069.mlw rename to non-regression/valid/ac/testfile-ac_empty069.ae diff --git a/non-regression/valid/ac/testfile-ac_empty070.mlw b/non-regression/valid/ac/testfile-ac_empty070.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty070.mlw rename to non-regression/valid/ac/testfile-ac_empty070.ae diff --git a/non-regression/valid/ac/testfile-ac_empty071.mlw b/non-regression/valid/ac/testfile-ac_empty071.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty071.mlw rename to non-regression/valid/ac/testfile-ac_empty071.ae diff --git a/non-regression/valid/ac/testfile-ac_empty072.mlw b/non-regression/valid/ac/testfile-ac_empty072.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty072.mlw rename to non-regression/valid/ac/testfile-ac_empty072.ae diff --git a/non-regression/valid/ac/testfile-ac_empty073.mlw b/non-regression/valid/ac/testfile-ac_empty073.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty073.mlw rename to non-regression/valid/ac/testfile-ac_empty073.ae diff --git a/non-regression/valid/ac/testfile-ac_empty074.mlw b/non-regression/valid/ac/testfile-ac_empty074.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty074.mlw rename to non-regression/valid/ac/testfile-ac_empty074.ae diff --git a/non-regression/valid/ac/testfile-ac_empty075.mlw b/non-regression/valid/ac/testfile-ac_empty075.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty075.mlw rename to non-regression/valid/ac/testfile-ac_empty075.ae diff --git a/non-regression/valid/ac/testfile-ac_empty076.mlw b/non-regression/valid/ac/testfile-ac_empty076.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty076.mlw rename to non-regression/valid/ac/testfile-ac_empty076.ae diff --git a/non-regression/valid/ac/testfile-ac_empty077.mlw b/non-regression/valid/ac/testfile-ac_empty077.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty077.mlw rename to non-regression/valid/ac/testfile-ac_empty077.ae diff --git a/non-regression/valid/ac/testfile-ac_empty078.mlw b/non-regression/valid/ac/testfile-ac_empty078.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty078.mlw rename to non-regression/valid/ac/testfile-ac_empty078.ae diff --git a/non-regression/valid/ac/testfile-ac_empty079.mlw b/non-regression/valid/ac/testfile-ac_empty079.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty079.mlw rename to non-regression/valid/ac/testfile-ac_empty079.ae diff --git a/non-regression/valid/ac/testfile-ac_empty080.mlw b/non-regression/valid/ac/testfile-ac_empty080.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty080.mlw rename to non-regression/valid/ac/testfile-ac_empty080.ae diff --git a/non-regression/valid/ac/testfile-ac_empty081.mlw b/non-regression/valid/ac/testfile-ac_empty081.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty081.mlw rename to non-regression/valid/ac/testfile-ac_empty081.ae diff --git a/non-regression/valid/ac/testfile-ac_empty082.mlw b/non-regression/valid/ac/testfile-ac_empty082.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty082.mlw rename to non-regression/valid/ac/testfile-ac_empty082.ae diff --git a/non-regression/valid/ac/testfile-ac_empty083.mlw b/non-regression/valid/ac/testfile-ac_empty083.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty083.mlw rename to non-regression/valid/ac/testfile-ac_empty083.ae diff --git a/non-regression/valid/ac/testfile-ac_empty084.mlw b/non-regression/valid/ac/testfile-ac_empty084.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty084.mlw rename to non-regression/valid/ac/testfile-ac_empty084.ae diff --git a/non-regression/valid/ac/testfile-ac_empty085.mlw b/non-regression/valid/ac/testfile-ac_empty085.ae similarity index 100% rename from non-regression/valid/ac/testfile-ac_empty085.mlw rename to non-regression/valid/ac/testfile-ac_empty085.ae diff --git a/non-regression/valid/ac_cc/testfile-ac_cc002.mlw b/non-regression/valid/ac_cc/testfile-ac_cc002.ae similarity index 100% rename from non-regression/valid/ac_cc/testfile-ac_cc002.mlw rename to non-regression/valid/ac_cc/testfile-ac_cc002.ae diff --git a/non-regression/valid/arith/testfile-arith001.mlw b/non-regression/valid/arith/testfile-arith001.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith001.mlw rename to non-regression/valid/arith/testfile-arith001.ae diff --git a/non-regression/valid/arith/testfile-arith002.mlw b/non-regression/valid/arith/testfile-arith002.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith002.mlw rename to non-regression/valid/arith/testfile-arith002.ae diff --git a/non-regression/valid/arith/testfile-arith003.mlw b/non-regression/valid/arith/testfile-arith003.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith003.mlw rename to non-regression/valid/arith/testfile-arith003.ae diff --git a/non-regression/valid/arith/testfile-arith004.mlw b/non-regression/valid/arith/testfile-arith004.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith004.mlw rename to non-regression/valid/arith/testfile-arith004.ae diff --git a/non-regression/valid/arith/testfile-arith005.mlw b/non-regression/valid/arith/testfile-arith005.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith005.mlw rename to non-regression/valid/arith/testfile-arith005.ae diff --git a/non-regression/valid/arith/testfile-arith006.mlw b/non-regression/valid/arith/testfile-arith006.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith006.mlw rename to non-regression/valid/arith/testfile-arith006.ae diff --git a/non-regression/valid/arith/testfile-arith007.mlw b/non-regression/valid/arith/testfile-arith007.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith007.mlw rename to non-regression/valid/arith/testfile-arith007.ae diff --git a/non-regression/valid/arith/testfile-arith008.mlw b/non-regression/valid/arith/testfile-arith008.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith008.mlw rename to non-regression/valid/arith/testfile-arith008.ae diff --git a/non-regression/valid/arith/testfile-arith009.mlw b/non-regression/valid/arith/testfile-arith009.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith009.mlw rename to non-regression/valid/arith/testfile-arith009.ae diff --git a/non-regression/valid/arith/testfile-arith010.mlw b/non-regression/valid/arith/testfile-arith010.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith010.mlw rename to non-regression/valid/arith/testfile-arith010.ae diff --git a/non-regression/valid/arith/testfile-arith011.mlw b/non-regression/valid/arith/testfile-arith011.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith011.mlw rename to non-regression/valid/arith/testfile-arith011.ae diff --git a/non-regression/valid/arith/testfile-arith012.mlw b/non-regression/valid/arith/testfile-arith012.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith012.mlw rename to non-regression/valid/arith/testfile-arith012.ae diff --git a/non-regression/valid/arith/testfile-arith013.mlw b/non-regression/valid/arith/testfile-arith013.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith013.mlw rename to non-regression/valid/arith/testfile-arith013.ae diff --git a/non-regression/valid/arith/testfile-arith014.mlw b/non-regression/valid/arith/testfile-arith014.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith014.mlw rename to non-regression/valid/arith/testfile-arith014.ae diff --git a/non-regression/valid/arith/testfile-arith015.mlw b/non-regression/valid/arith/testfile-arith015.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith015.mlw rename to non-regression/valid/arith/testfile-arith015.ae diff --git a/non-regression/valid/arith/testfile-arith016.mlw b/non-regression/valid/arith/testfile-arith016.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith016.mlw rename to non-regression/valid/arith/testfile-arith016.ae diff --git a/non-regression/valid/arith/testfile-arith017.mlw b/non-regression/valid/arith/testfile-arith017.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith017.mlw rename to non-regression/valid/arith/testfile-arith017.ae diff --git a/non-regression/valid/arith/testfile-arith018.mlw b/non-regression/valid/arith/testfile-arith018.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith018.mlw rename to non-regression/valid/arith/testfile-arith018.ae diff --git a/non-regression/valid/arith/testfile-arith019.mlw b/non-regression/valid/arith/testfile-arith019.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith019.mlw rename to non-regression/valid/arith/testfile-arith019.ae diff --git a/non-regression/valid/arith/testfile-arith020.mlw b/non-regression/valid/arith/testfile-arith020.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith020.mlw rename to non-regression/valid/arith/testfile-arith020.ae diff --git a/non-regression/valid/arith/testfile-arith021.mlw b/non-regression/valid/arith/testfile-arith021.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith021.mlw rename to non-regression/valid/arith/testfile-arith021.ae diff --git a/non-regression/valid/arith/testfile-arith022.mlw b/non-regression/valid/arith/testfile-arith022.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith022.mlw rename to non-regression/valid/arith/testfile-arith022.ae diff --git a/non-regression/valid/arith/testfile-arith023.mlw b/non-regression/valid/arith/testfile-arith023.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith023.mlw rename to non-regression/valid/arith/testfile-arith023.ae diff --git a/non-regression/valid/arith/testfile-arith024.mlw b/non-regression/valid/arith/testfile-arith024.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith024.mlw rename to non-regression/valid/arith/testfile-arith024.ae diff --git a/non-regression/valid/arith/testfile-arith025.mlw b/non-regression/valid/arith/testfile-arith025.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith025.mlw rename to non-regression/valid/arith/testfile-arith025.ae diff --git a/non-regression/valid/arith/testfile-arith026.mlw b/non-regression/valid/arith/testfile-arith026.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith026.mlw rename to non-regression/valid/arith/testfile-arith026.ae diff --git a/non-regression/valid/arith/testfile-arith027.mlw b/non-regression/valid/arith/testfile-arith027.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith027.mlw rename to non-regression/valid/arith/testfile-arith027.ae diff --git a/non-regression/valid/arith/testfile-arith028.mlw b/non-regression/valid/arith/testfile-arith028.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith028.mlw rename to non-regression/valid/arith/testfile-arith028.ae diff --git a/non-regression/valid/arith/testfile-arith029.mlw b/non-regression/valid/arith/testfile-arith029.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith029.mlw rename to non-regression/valid/arith/testfile-arith029.ae diff --git a/non-regression/valid/arith/testfile-arith030.mlw b/non-regression/valid/arith/testfile-arith030.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith030.mlw rename to non-regression/valid/arith/testfile-arith030.ae diff --git a/non-regression/valid/arith/testfile-arith031.mlw b/non-regression/valid/arith/testfile-arith031.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith031.mlw rename to non-regression/valid/arith/testfile-arith031.ae diff --git a/non-regression/valid/arith/testfile-arith032.mlw b/non-regression/valid/arith/testfile-arith032.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith032.mlw rename to non-regression/valid/arith/testfile-arith032.ae diff --git a/non-regression/valid/arith/testfile-arith033.mlw b/non-regression/valid/arith/testfile-arith033.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith033.mlw rename to non-regression/valid/arith/testfile-arith033.ae diff --git a/non-regression/valid/arith/testfile-arith034.mlw b/non-regression/valid/arith/testfile-arith034.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith034.mlw rename to non-regression/valid/arith/testfile-arith034.ae diff --git a/non-regression/valid/arith/testfile-arith035.mlw b/non-regression/valid/arith/testfile-arith035.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith035.mlw rename to non-regression/valid/arith/testfile-arith035.ae diff --git a/non-regression/valid/arith/testfile-arith036.mlw b/non-regression/valid/arith/testfile-arith036.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith036.mlw rename to non-regression/valid/arith/testfile-arith036.ae diff --git a/non-regression/valid/arith/testfile-arith037.mlw b/non-regression/valid/arith/testfile-arith037.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith037.mlw rename to non-regression/valid/arith/testfile-arith037.ae diff --git a/non-regression/valid/arith/testfile-arith038.mlw b/non-regression/valid/arith/testfile-arith038.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith038.mlw rename to non-regression/valid/arith/testfile-arith038.ae diff --git a/non-regression/valid/arith/testfile-arith039.mlw b/non-regression/valid/arith/testfile-arith039.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith039.mlw rename to non-regression/valid/arith/testfile-arith039.ae diff --git a/non-regression/valid/arith/testfile-arith040.mlw b/non-regression/valid/arith/testfile-arith040.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith040.mlw rename to non-regression/valid/arith/testfile-arith040.ae diff --git a/non-regression/valid/arith/testfile-arith041.mlw b/non-regression/valid/arith/testfile-arith041.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith041.mlw rename to non-regression/valid/arith/testfile-arith041.ae diff --git a/non-regression/valid/arith/testfile-arith043.mlw b/non-regression/valid/arith/testfile-arith043.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith043.mlw rename to non-regression/valid/arith/testfile-arith043.ae diff --git a/non-regression/valid/arith/testfile-arith044.mlw b/non-regression/valid/arith/testfile-arith044.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith044.mlw rename to non-regression/valid/arith/testfile-arith044.ae diff --git a/non-regression/valid/arith/testfile-arith045.mlw b/non-regression/valid/arith/testfile-arith045.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith045.mlw rename to non-regression/valid/arith/testfile-arith045.ae diff --git a/non-regression/valid/arith/testfile-arith046.mlw b/non-regression/valid/arith/testfile-arith046.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith046.mlw rename to non-regression/valid/arith/testfile-arith046.ae diff --git a/non-regression/valid/arith/testfile-arith047.mlw b/non-regression/valid/arith/testfile-arith047.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith047.mlw rename to non-regression/valid/arith/testfile-arith047.ae diff --git a/non-regression/valid/arith/testfile-arith048.mlw b/non-regression/valid/arith/testfile-arith048.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith048.mlw rename to non-regression/valid/arith/testfile-arith048.ae diff --git a/non-regression/valid/arith/testfile-arith049.mlw b/non-regression/valid/arith/testfile-arith049.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith049.mlw rename to non-regression/valid/arith/testfile-arith049.ae diff --git a/non-regression/valid/arith/testfile-arith050.mlw b/non-regression/valid/arith/testfile-arith050.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith050.mlw rename to non-regression/valid/arith/testfile-arith050.ae diff --git a/non-regression/valid/arith/testfile-arith051.mlw b/non-regression/valid/arith/testfile-arith051.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith051.mlw rename to non-regression/valid/arith/testfile-arith051.ae diff --git a/non-regression/valid/arith/testfile-arith052.mlw b/non-regression/valid/arith/testfile-arith052.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith052.mlw rename to non-regression/valid/arith/testfile-arith052.ae diff --git a/non-regression/valid/arith/testfile-arith053.mlw b/non-regression/valid/arith/testfile-arith053.ae similarity index 100% rename from non-regression/valid/arith/testfile-arith053.mlw rename to non-regression/valid/arith/testfile-arith053.ae diff --git a/non-regression/valid/arith/testfile-polynomes001.mlw b/non-regression/valid/arith/testfile-polynomes001.ae similarity index 100% rename from non-regression/valid/arith/testfile-polynomes001.mlw rename to non-regression/valid/arith/testfile-polynomes001.ae diff --git a/non-regression/valid/arith/testfile-polynomes002.mlw b/non-regression/valid/arith/testfile-polynomes002.ae similarity index 100% rename from non-regression/valid/arith/testfile-polynomes002.mlw rename to non-regression/valid/arith/testfile-polynomes002.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult001.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult001.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult001.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult001.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult002.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult002.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult002.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult002.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult003.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult003.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult003.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult003.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult004.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult004.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult004.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult004.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult005.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult005.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult005.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult005.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult006.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult006.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult006.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult006.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult007.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult007.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult007.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult007.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult008.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult008.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult008.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult008.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult009.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult009.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult009.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult009.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult010.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult010.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult010.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult010.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult011.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult011.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult011.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult011.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult012.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult012.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult012.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult012.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult013.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult013.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult013.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult013.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult014.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult014.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult014.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult014.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult015.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult015.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult015.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult015.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult016.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult016.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult016.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult016.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult017.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult017.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult017.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult017.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult018.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult018.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult018.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult018.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult019.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult019.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult019.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult019.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult020.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult020.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult020.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult020.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult021.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult021.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult021.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult021.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult022.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult022.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult022.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult022.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult023.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult023.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult023.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult023.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult024.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult024.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult024.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult024.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult025.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult025.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult025.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult025.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult026.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult026.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult026.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult026.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult027.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult027.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult027.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult027.ae diff --git a/non-regression/valid/arith_non_lin/testfile-ac_arith_mult028.mlw b/non-regression/valid/arith_non_lin/testfile-ac_arith_mult028.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-ac_arith_mult028.mlw rename to non-regression/valid/arith_non_lin/testfile-ac_arith_mult028.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div001.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div001.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div001.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div001.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div002.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div002.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div002.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div002.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div003.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div003.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div003.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div003.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div004.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div004.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div004.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div004.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div005.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div005.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div005.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div005.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div006.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div006.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div006.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div006.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div007.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div007.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div007.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div007.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div008.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div008.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div008.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div008.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div009.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div009.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div009.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div009.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div010.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div010.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div010.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div010.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div011.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div011.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div011.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div011.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div012.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div012.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div012.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div012.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div013.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div013.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div013.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div013.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div014.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div014.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div014.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div014.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div_interval001.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div_interval001.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div_interval001.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div_interval001.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div_interval002.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div_interval002.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div_interval002.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div_interval002.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div_interval003.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div_interval003.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div_interval003.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div_interval003.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div_interval004.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div_interval004.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div_interval004.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div_interval004.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div_interval005.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div_interval005.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div_interval005.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div_interval005.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_div_interval006.mlw b/non-regression/valid/arith_non_lin/testfile-arith_div_interval006.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_div_interval006.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_div_interval006.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_div001.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_div001.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_div001.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_div001.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_div002.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_div002.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_div002.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_div002.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_div003.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_div003.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_div003.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_div003.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_div004.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_div004.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_div004.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_div004.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_div005.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_div005.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_div005.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_div005.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_div006.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_div006.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_div006.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_div006.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_div007.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_div007.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_div007.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_div007.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement001.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement001.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement001.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement001.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement002.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement002.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement002.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement002.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement003.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement003.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement003.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement003.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement004.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement004.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement004.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement004.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement005.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement005.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement005.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement005.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement006.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement006.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement006.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement006.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement007.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement007.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement007.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement007.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement008.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement008.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement008.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement008.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement009.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement009.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement009.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement009.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement010.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement010.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement010.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement010.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement011.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement011.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement011.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement011.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement012.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement012.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement012.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement012.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement013.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement013.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement013.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement013.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement014.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement014.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement014.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement014.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement015.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement015.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement015.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement015.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement016.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement016.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement016.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement016.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement017.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement017.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement017.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement017.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement018.mlw b/non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement018.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement018.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_modulo_uniquement018.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_mult_interval.mlw b/non-regression/valid/arith_non_lin/testfile-arith_mult_interval.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_mult_interval.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_mult_interval.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_mult_interval001.mlw b/non-regression/valid/arith_non_lin/testfile-arith_mult_interval001.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_mult_interval001.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_mult_interval001.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_mult_interval002.mlw b/non-regression/valid/arith_non_lin/testfile-arith_mult_interval002.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_mult_interval002.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_mult_interval002.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_mult_interval006.mlw b/non-regression/valid/arith_non_lin/testfile-arith_mult_interval006.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_mult_interval006.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_mult_interval006.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_mult_nonlin_001_need_interval_tighten_modulo_eq.mlw b/non-regression/valid/arith_non_lin/testfile-arith_mult_nonlin_001_need_interval_tighten_modulo_eq.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_mult_nonlin_001_need_interval_tighten_modulo_eq.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_mult_nonlin_001_need_interval_tighten_modulo_eq.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire001.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire001.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire001.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire001.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire002.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire002.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire002.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire002.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire003.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire003.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire003.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire003.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire004.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire004.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire004.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire004.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire005.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire005.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire005.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire005.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire006.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire006.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire006.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire006.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire007.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire007.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire007.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire007.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire008.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire008.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire008.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire008.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire009.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire009.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire009.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire009.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire010.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire010.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire010.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire010.ae diff --git a/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire020.mlw b/non-regression/valid/arith_non_lin/testfile-arith_non_lineaire020.ae similarity index 100% rename from non-regression/valid/arith_non_lin/testfile-arith_non_lineaire020.mlw rename to non-regression/valid/arith_non_lin/testfile-arith_non_lineaire020.ae diff --git a/non-regression/valid/arrays/challenge-euf-arrays-with-ext__KO.mlw b/non-regression/valid/arrays/challenge-euf-arrays-with-ext__KO.ae similarity index 100% rename from non-regression/valid/arrays/challenge-euf-arrays-with-ext__KO.mlw rename to non-regression/valid/arrays/challenge-euf-arrays-with-ext__KO.ae diff --git a/non-regression/valid/arrays/testfile-018_array.mlw b/non-regression/valid/arrays/testfile-018_array.ae similarity index 100% rename from non-regression/valid/arrays/testfile-018_array.mlw rename to non-regression/valid/arrays/testfile-018_array.ae diff --git a/non-regression/valid/arrays/testfile-arrays001.mlw b/non-regression/valid/arrays/testfile-arrays001.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays001.mlw rename to non-regression/valid/arrays/testfile-arrays001.ae diff --git a/non-regression/valid/arrays/testfile-arrays002.mlw b/non-regression/valid/arrays/testfile-arrays002.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays002.mlw rename to non-regression/valid/arrays/testfile-arrays002.ae diff --git a/non-regression/valid/arrays/testfile-arrays003.mlw b/non-regression/valid/arrays/testfile-arrays003.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays003.mlw rename to non-regression/valid/arrays/testfile-arrays003.ae diff --git a/non-regression/valid/arrays/testfile-arrays004.mlw b/non-regression/valid/arrays/testfile-arrays004.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays004.mlw rename to non-regression/valid/arrays/testfile-arrays004.ae diff --git a/non-regression/valid/arrays/testfile-arrays005.mlw b/non-regression/valid/arrays/testfile-arrays005.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays005.mlw rename to non-regression/valid/arrays/testfile-arrays005.ae diff --git a/non-regression/valid/arrays/testfile-arrays006.mlw b/non-regression/valid/arrays/testfile-arrays006.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays006.mlw rename to non-regression/valid/arrays/testfile-arrays006.ae diff --git a/non-regression/valid/arrays/testfile-arrays007.mlw b/non-regression/valid/arrays/testfile-arrays007.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays007.mlw rename to non-regression/valid/arrays/testfile-arrays007.ae diff --git a/non-regression/valid/arrays/testfile-arrays008.mlw b/non-regression/valid/arrays/testfile-arrays008.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays008.mlw rename to non-regression/valid/arrays/testfile-arrays008.ae diff --git a/non-regression/valid/arrays/testfile-arrays009.mlw b/non-regression/valid/arrays/testfile-arrays009.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays009.mlw rename to non-regression/valid/arrays/testfile-arrays009.ae diff --git a/non-regression/valid/arrays/testfile-arrays010.mlw b/non-regression/valid/arrays/testfile-arrays010.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays010.mlw rename to non-regression/valid/arrays/testfile-arrays010.ae diff --git a/non-regression/valid/arrays/testfile-arrays011.mlw b/non-regression/valid/arrays/testfile-arrays011.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays011.mlw rename to non-regression/valid/arrays/testfile-arrays011.ae diff --git a/non-regression/valid/arrays/testfile-arrays012.mlw b/non-regression/valid/arrays/testfile-arrays012.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays012.mlw rename to non-regression/valid/arrays/testfile-arrays012.ae diff --git a/non-regression/valid/arrays/testfile-arrays013.mlw b/non-regression/valid/arrays/testfile-arrays013.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays013.mlw rename to non-regression/valid/arrays/testfile-arrays013.ae diff --git a/non-regression/valid/arrays/testfile-arrays014.mlw b/non-regression/valid/arrays/testfile-arrays014.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays014.mlw rename to non-regression/valid/arrays/testfile-arrays014.ae diff --git a/non-regression/valid/arrays/testfile-arrays015.mlw b/non-regression/valid/arrays/testfile-arrays015.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays015.mlw rename to non-regression/valid/arrays/testfile-arrays015.ae diff --git a/non-regression/valid/arrays/testfile-arrays016.mlw b/non-regression/valid/arrays/testfile-arrays016.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays016.mlw rename to non-regression/valid/arrays/testfile-arrays016.ae diff --git a/non-regression/valid/arrays/testfile-arrays017.mlw b/non-regression/valid/arrays/testfile-arrays017.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays017.mlw rename to non-regression/valid/arrays/testfile-arrays017.ae diff --git a/non-regression/valid/arrays/testfile-arrays018.mlw b/non-regression/valid/arrays/testfile-arrays018.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays018.mlw rename to non-regression/valid/arrays/testfile-arrays018.ae diff --git a/non-regression/valid/arrays/testfile-arrays019.mlw b/non-regression/valid/arrays/testfile-arrays019.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays019.mlw rename to non-regression/valid/arrays/testfile-arrays019.ae diff --git a/non-regression/valid/arrays/testfile-arrays020.mlw b/non-regression/valid/arrays/testfile-arrays020.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays020.mlw rename to non-regression/valid/arrays/testfile-arrays020.ae diff --git a/non-regression/valid/arrays/testfile-arrays021.mlw b/non-regression/valid/arrays/testfile-arrays021.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays021.mlw rename to non-regression/valid/arrays/testfile-arrays021.ae diff --git a/non-regression/valid/arrays/testfile-arrays022.mlw b/non-regression/valid/arrays/testfile-arrays022.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays022.mlw rename to non-regression/valid/arrays/testfile-arrays022.ae diff --git a/non-regression/valid/arrays/testfile-arrays023.mlw b/non-regression/valid/arrays/testfile-arrays023.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays023.mlw rename to non-regression/valid/arrays/testfile-arrays023.ae diff --git a/non-regression/valid/arrays/testfile-arrays024.mlw b/non-regression/valid/arrays/testfile-arrays024.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays024.mlw rename to non-regression/valid/arrays/testfile-arrays024.ae diff --git a/non-regression/valid/arrays/testfile-arrays025.mlw b/non-regression/valid/arrays/testfile-arrays025.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays025.mlw rename to non-regression/valid/arrays/testfile-arrays025.ae diff --git a/non-regression/valid/arrays/testfile-arrays026.mlw b/non-regression/valid/arrays/testfile-arrays026.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays026.mlw rename to non-regression/valid/arrays/testfile-arrays026.ae diff --git a/non-regression/valid/arrays/testfile-arrays027.mlw b/non-regression/valid/arrays/testfile-arrays027.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays027.mlw rename to non-regression/valid/arrays/testfile-arrays027.ae diff --git a/non-regression/valid/arrays/testfile-arrays028.mlw b/non-regression/valid/arrays/testfile-arrays028.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays028.mlw rename to non-regression/valid/arrays/testfile-arrays028.ae diff --git a/non-regression/valid/arrays/testfile-arrays029.mlw b/non-regression/valid/arrays/testfile-arrays029.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays029.mlw rename to non-regression/valid/arrays/testfile-arrays029.ae diff --git a/non-regression/valid/arrays/testfile-arrays030.mlw b/non-regression/valid/arrays/testfile-arrays030.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays030.mlw rename to non-regression/valid/arrays/testfile-arrays030.ae diff --git a/non-regression/valid/arrays/testfile-arrays031.mlw b/non-regression/valid/arrays/testfile-arrays031.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays031.mlw rename to non-regression/valid/arrays/testfile-arrays031.ae diff --git a/non-regression/valid/arrays/testfile-arrays032.mlw b/non-regression/valid/arrays/testfile-arrays032.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays032.mlw rename to non-regression/valid/arrays/testfile-arrays032.ae diff --git a/non-regression/valid/arrays/testfile-arrays033.mlw b/non-regression/valid/arrays/testfile-arrays033.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays033.mlw rename to non-regression/valid/arrays/testfile-arrays033.ae diff --git a/non-regression/valid/arrays/testfile-arrays034.mlw b/non-regression/valid/arrays/testfile-arrays034.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays034.mlw rename to non-regression/valid/arrays/testfile-arrays034.ae diff --git a/non-regression/valid/arrays/testfile-arrays035.mlw b/non-regression/valid/arrays/testfile-arrays035.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays035.mlw rename to non-regression/valid/arrays/testfile-arrays035.ae diff --git a/non-regression/valid/arrays/testfile-arrays036.mlw b/non-regression/valid/arrays/testfile-arrays036.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays036.mlw rename to non-regression/valid/arrays/testfile-arrays036.ae diff --git a/non-regression/valid/arrays/testfile-arrays037.mlw b/non-regression/valid/arrays/testfile-arrays037.ae similarity index 100% rename from non-regression/valid/arrays/testfile-arrays037.mlw rename to non-regression/valid/arrays/testfile-arrays037.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays001.mlw b/non-regression/valid/arrays/testfile-poly_arrays001.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays001.mlw rename to non-regression/valid/arrays/testfile-poly_arrays001.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays002.mlw b/non-regression/valid/arrays/testfile-poly_arrays002.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays002.mlw rename to non-regression/valid/arrays/testfile-poly_arrays002.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays003.mlw b/non-regression/valid/arrays/testfile-poly_arrays003.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays003.mlw rename to non-regression/valid/arrays/testfile-poly_arrays003.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays004.mlw b/non-regression/valid/arrays/testfile-poly_arrays004.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays004.mlw rename to non-regression/valid/arrays/testfile-poly_arrays004.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays005.mlw b/non-regression/valid/arrays/testfile-poly_arrays005.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays005.mlw rename to non-regression/valid/arrays/testfile-poly_arrays005.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays006.mlw b/non-regression/valid/arrays/testfile-poly_arrays006.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays006.mlw rename to non-regression/valid/arrays/testfile-poly_arrays006.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays007.mlw b/non-regression/valid/arrays/testfile-poly_arrays007.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays007.mlw rename to non-regression/valid/arrays/testfile-poly_arrays007.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays008.mlw b/non-regression/valid/arrays/testfile-poly_arrays008.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays008.mlw rename to non-regression/valid/arrays/testfile-poly_arrays008.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays009.mlw b/non-regression/valid/arrays/testfile-poly_arrays009.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays009.mlw rename to non-regression/valid/arrays/testfile-poly_arrays009.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays010.mlw b/non-regression/valid/arrays/testfile-poly_arrays010.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays010.mlw rename to non-regression/valid/arrays/testfile-poly_arrays010.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays011.mlw b/non-regression/valid/arrays/testfile-poly_arrays011.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays011.mlw rename to non-regression/valid/arrays/testfile-poly_arrays011.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays012.mlw b/non-regression/valid/arrays/testfile-poly_arrays012.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays012.mlw rename to non-regression/valid/arrays/testfile-poly_arrays012.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays013.mlw b/non-regression/valid/arrays/testfile-poly_arrays013.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays013.mlw rename to non-regression/valid/arrays/testfile-poly_arrays013.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays014.mlw b/non-regression/valid/arrays/testfile-poly_arrays014.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays014.mlw rename to non-regression/valid/arrays/testfile-poly_arrays014.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays015.mlw b/non-regression/valid/arrays/testfile-poly_arrays015.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays015.mlw rename to non-regression/valid/arrays/testfile-poly_arrays015.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays016.mlw b/non-regression/valid/arrays/testfile-poly_arrays016.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays016.mlw rename to non-regression/valid/arrays/testfile-poly_arrays016.ae diff --git a/non-regression/valid/arrays/testfile-poly_arrays017.mlw b/non-regression/valid/arrays/testfile-poly_arrays017.ae similarity index 100% rename from non-regression/valid/arrays/testfile-poly_arrays017.mlw rename to non-regression/valid/arrays/testfile-poly_arrays017.ae diff --git a/non-regression/valid/bitv/testfile-bitv001.mlw b/non-regression/valid/bitv/testfile-bitv001.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv001.mlw rename to non-regression/valid/bitv/testfile-bitv001.ae diff --git a/non-regression/valid/bitv/testfile-bitv002.mlw b/non-regression/valid/bitv/testfile-bitv002.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv002.mlw rename to non-regression/valid/bitv/testfile-bitv002.ae diff --git a/non-regression/valid/bitv/testfile-bitv003.mlw b/non-regression/valid/bitv/testfile-bitv003.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv003.mlw rename to non-regression/valid/bitv/testfile-bitv003.ae diff --git a/non-regression/valid/bitv/testfile-bitv004.mlw b/non-regression/valid/bitv/testfile-bitv004.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv004.mlw rename to non-regression/valid/bitv/testfile-bitv004.ae diff --git a/non-regression/valid/bitv/testfile-bitv005.mlw b/non-regression/valid/bitv/testfile-bitv005.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv005.mlw rename to non-regression/valid/bitv/testfile-bitv005.ae diff --git a/non-regression/valid/bitv/testfile-bitv006.mlw b/non-regression/valid/bitv/testfile-bitv006.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv006.mlw rename to non-regression/valid/bitv/testfile-bitv006.ae diff --git a/non-regression/valid/bitv/testfile-bitv007.mlw b/non-regression/valid/bitv/testfile-bitv007.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv007.mlw rename to non-regression/valid/bitv/testfile-bitv007.ae diff --git a/non-regression/valid/bitv/testfile-bitv008.mlw b/non-regression/valid/bitv/testfile-bitv008.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv008.mlw rename to non-regression/valid/bitv/testfile-bitv008.ae diff --git a/non-regression/valid/bitv/testfile-bitv009.mlw b/non-regression/valid/bitv/testfile-bitv009.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv009.mlw rename to non-regression/valid/bitv/testfile-bitv009.ae diff --git a/non-regression/valid/bitv/testfile-bitv010.mlw b/non-regression/valid/bitv/testfile-bitv010.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv010.mlw rename to non-regression/valid/bitv/testfile-bitv010.ae diff --git a/non-regression/valid/bitv/testfile-bitv011.mlw b/non-regression/valid/bitv/testfile-bitv011.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv011.mlw rename to non-regression/valid/bitv/testfile-bitv011.ae diff --git a/non-regression/valid/bitv/testfile-bitv012.mlw b/non-regression/valid/bitv/testfile-bitv012.ae similarity index 100% rename from non-regression/valid/bitv/testfile-bitv012.mlw rename to non-regression/valid/bitv/testfile-bitv012.ae diff --git a/non-regression/valid/bool/testfile-bool001.mlw b/non-regression/valid/bool/testfile-bool001.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool001.mlw rename to non-regression/valid/bool/testfile-bool001.ae diff --git a/non-regression/valid/bool/testfile-bool002.mlw b/non-regression/valid/bool/testfile-bool002.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool002.mlw rename to non-regression/valid/bool/testfile-bool002.ae diff --git a/non-regression/valid/bool/testfile-bool003.mlw b/non-regression/valid/bool/testfile-bool003.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool003.mlw rename to non-regression/valid/bool/testfile-bool003.ae diff --git a/non-regression/valid/bool/testfile-bool004.mlw b/non-regression/valid/bool/testfile-bool004.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool004.mlw rename to non-regression/valid/bool/testfile-bool004.ae diff --git a/non-regression/valid/bool/testfile-bool005.mlw b/non-regression/valid/bool/testfile-bool005.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool005.mlw rename to non-regression/valid/bool/testfile-bool005.ae diff --git a/non-regression/valid/bool/testfile-bool006.mlw b/non-regression/valid/bool/testfile-bool006.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool006.mlw rename to non-regression/valid/bool/testfile-bool006.ae diff --git a/non-regression/valid/bool/testfile-bool007.mlw b/non-regression/valid/bool/testfile-bool007.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool007.mlw rename to non-regression/valid/bool/testfile-bool007.ae diff --git a/non-regression/valid/bool/testfile-bool008.mlw b/non-regression/valid/bool/testfile-bool008.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool008.mlw rename to non-regression/valid/bool/testfile-bool008.ae diff --git a/non-regression/valid/bool/testfile-bool009.mlw b/non-regression/valid/bool/testfile-bool009.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool009.mlw rename to non-regression/valid/bool/testfile-bool009.ae diff --git a/non-regression/valid/bool/testfile-bool010.mlw b/non-regression/valid/bool/testfile-bool010.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool010.mlw rename to non-regression/valid/bool/testfile-bool010.ae diff --git a/non-regression/valid/bool/testfile-bool011.mlw b/non-regression/valid/bool/testfile-bool011.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool011.mlw rename to non-regression/valid/bool/testfile-bool011.ae diff --git a/non-regression/valid/bool/testfile-bool012.mlw b/non-regression/valid/bool/testfile-bool012.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool012.mlw rename to non-regression/valid/bool/testfile-bool012.ae diff --git a/non-regression/valid/bool/testfile-bool013.mlw b/non-regression/valid/bool/testfile-bool013.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool013.mlw rename to non-regression/valid/bool/testfile-bool013.ae diff --git a/non-regression/valid/bool/testfile-bool014.mlw b/non-regression/valid/bool/testfile-bool014.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool014.mlw rename to non-regression/valid/bool/testfile-bool014.ae diff --git a/non-regression/valid/bool/testfile-bool015.mlw b/non-regression/valid/bool/testfile-bool015.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool015.mlw rename to non-regression/valid/bool/testfile-bool015.ae diff --git a/non-regression/valid/bool/testfile-bool016.mlw b/non-regression/valid/bool/testfile-bool016.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool016.mlw rename to non-regression/valid/bool/testfile-bool016.ae diff --git a/non-regression/valid/bool/testfile-bool017.mlw b/non-regression/valid/bool/testfile-bool017.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool017.mlw rename to non-regression/valid/bool/testfile-bool017.ae diff --git a/non-regression/valid/bool/testfile-bool018.mlw b/non-regression/valid/bool/testfile-bool018.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool018.mlw rename to non-regression/valid/bool/testfile-bool018.ae diff --git a/non-regression/valid/bool/testfile-bool019.mlw b/non-regression/valid/bool/testfile-bool019.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool019.mlw rename to non-regression/valid/bool/testfile-bool019.ae diff --git a/non-regression/valid/bool/testfile-bool020.mlw b/non-regression/valid/bool/testfile-bool020.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool020.mlw rename to non-regression/valid/bool/testfile-bool020.ae diff --git a/non-regression/valid/bool/testfile-bool021.mlw b/non-regression/valid/bool/testfile-bool021.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool021.mlw rename to non-regression/valid/bool/testfile-bool021.ae diff --git a/non-regression/valid/bool/testfile-bool022.mlw b/non-regression/valid/bool/testfile-bool022.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool022.mlw rename to non-regression/valid/bool/testfile-bool022.ae diff --git a/non-regression/valid/bool/testfile-bool023.mlw b/non-regression/valid/bool/testfile-bool023.ae similarity index 100% rename from non-regression/valid/bool/testfile-bool023.mlw rename to non-regression/valid/bool/testfile-bool023.ae diff --git a/non-regression/valid/cc/testfile-cc001.mlw b/non-regression/valid/cc/testfile-cc001.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc001.mlw rename to non-regression/valid/cc/testfile-cc001.ae diff --git a/non-regression/valid/cc/testfile-cc002.mlw b/non-regression/valid/cc/testfile-cc002.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc002.mlw rename to non-regression/valid/cc/testfile-cc002.ae diff --git a/non-regression/valid/cc/testfile-cc003.mlw b/non-regression/valid/cc/testfile-cc003.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc003.mlw rename to non-regression/valid/cc/testfile-cc003.ae diff --git a/non-regression/valid/cc/testfile-cc004.mlw b/non-regression/valid/cc/testfile-cc004.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc004.mlw rename to non-regression/valid/cc/testfile-cc004.ae diff --git a/non-regression/valid/cc/testfile-cc005.mlw b/non-regression/valid/cc/testfile-cc005.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc005.mlw rename to non-regression/valid/cc/testfile-cc005.ae diff --git a/non-regression/valid/cc/testfile-cc006.mlw b/non-regression/valid/cc/testfile-cc006.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc006.mlw rename to non-regression/valid/cc/testfile-cc006.ae diff --git a/non-regression/valid/cc/testfile-cc007.mlw b/non-regression/valid/cc/testfile-cc007.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc007.mlw rename to non-regression/valid/cc/testfile-cc007.ae diff --git a/non-regression/valid/cc/testfile-cc008.mlw b/non-regression/valid/cc/testfile-cc008.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc008.mlw rename to non-regression/valid/cc/testfile-cc008.ae diff --git a/non-regression/valid/cc/testfile-cc009.mlw b/non-regression/valid/cc/testfile-cc009.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc009.mlw rename to non-regression/valid/cc/testfile-cc009.ae diff --git a/non-regression/valid/cc/testfile-cc010.mlw b/non-regression/valid/cc/testfile-cc010.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc010.mlw rename to non-regression/valid/cc/testfile-cc010.ae diff --git a/non-regression/valid/cc/testfile-cc011.mlw b/non-regression/valid/cc/testfile-cc011.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc011.mlw rename to non-regression/valid/cc/testfile-cc011.ae diff --git a/non-regression/valid/cc/testfile-cc012.mlw b/non-regression/valid/cc/testfile-cc012.ae similarity index 100% rename from non-regression/valid/cc/testfile-cc012.mlw rename to non-regression/valid/cc/testfile-cc012.ae diff --git a/non-regression/valid/combination/testfile-ac_pairs001.mlw b/non-regression/valid/combination/testfile-ac_pairs001.ae similarity index 100% rename from non-regression/valid/combination/testfile-ac_pairs001.mlw rename to non-regression/valid/combination/testfile-ac_pairs001.ae diff --git a/non-regression/valid/combination/testfile-ac_pairs002.mlw b/non-regression/valid/combination/testfile-ac_pairs002.ae similarity index 100% rename from non-regression/valid/combination/testfile-ac_pairs002.mlw rename to non-regression/valid/combination/testfile-ac_pairs002.ae diff --git a/non-regression/valid/combination/testfile-ac_pairs003.mlw b/non-regression/valid/combination/testfile-ac_pairs003.ae similarity index 100% rename from non-regression/valid/combination/testfile-ac_pairs003.mlw rename to non-regression/valid/combination/testfile-ac_pairs003.ae diff --git a/non-regression/valid/combination/testfile-pairs_arith001.mlw b/non-regression/valid/combination/testfile-pairs_arith001.ae similarity index 100% rename from non-regression/valid/combination/testfile-pairs_arith001.mlw rename to non-regression/valid/combination/testfile-pairs_arith001.ae diff --git a/non-regression/valid/combination/testfile-pairs_arith002.mlw b/non-regression/valid/combination/testfile-pairs_arith002.ae similarity index 100% rename from non-regression/valid/combination/testfile-pairs_arith002.mlw rename to non-regression/valid/combination/testfile-pairs_arith002.ae diff --git a/non-regression/valid/combination/testfile-pairs_arith003.mlw b/non-regression/valid/combination/testfile-pairs_arith003.ae similarity index 100% rename from non-regression/valid/combination/testfile-pairs_arith003.mlw rename to non-regression/valid/combination/testfile-pairs_arith003.ae diff --git a/non-regression/valid/combination/testfile-pairs_arith004.mlw b/non-regression/valid/combination/testfile-pairs_arith004.ae similarity index 100% rename from non-regression/valid/combination/testfile-pairs_arith004.mlw rename to non-regression/valid/combination/testfile-pairs_arith004.ae diff --git a/non-regression/valid/combination/testfile-pairs_arith005.mlw b/non-regression/valid/combination/testfile-pairs_arith005.ae similarity index 100% rename from non-regression/valid/combination/testfile-pairs_arith005.mlw rename to non-regression/valid/combination/testfile-pairs_arith005.ae diff --git a/non-regression/valid/combination/testfile-pairs_arith006.mlw b/non-regression/valid/combination/testfile-pairs_arith006.ae similarity index 100% rename from non-regression/valid/combination/testfile-pairs_arith006.mlw rename to non-regression/valid/combination/testfile-pairs_arith006.ae diff --git a/non-regression/valid/combination/testfile-pairs_arith007.mlw b/non-regression/valid/combination/testfile-pairs_arith007.ae similarity index 100% rename from non-regression/valid/combination/testfile-pairs_arith007.mlw rename to non-regression/valid/combination/testfile-pairs_arith007.ae diff --git a/non-regression/valid/combination/testfile-pairs_arith008.mlw b/non-regression/valid/combination/testfile-pairs_arith008.ae similarity index 100% rename from non-regression/valid/combination/testfile-pairs_arith008.mlw rename to non-regression/valid/combination/testfile-pairs_arith008.ae diff --git a/non-regression/valid/combination/testfile-pairs_arith009.mlw b/non-regression/valid/combination/testfile-pairs_arith009.ae similarity index 100% rename from non-regression/valid/combination/testfile-pairs_arith009.mlw rename to non-regression/valid/combination/testfile-pairs_arith009.ae diff --git a/non-regression/valid/combination/testfile-pairs_arith010.mlw b/non-regression/valid/combination/testfile-pairs_arith010.ae similarity index 100% rename from non-regression/valid/combination/testfile-pairs_arith010.mlw rename to non-regression/valid/combination/testfile-pairs_arith010.ae diff --git a/non-regression/valid/combination/testfile-set_arrays001.mlw b/non-regression/valid/combination/testfile-set_arrays001.ae similarity index 100% rename from non-regression/valid/combination/testfile-set_arrays001.mlw rename to non-regression/valid/combination/testfile-set_arrays001.ae diff --git a/non-regression/valid/combination/testfile-set_arrays002.mlw b/non-regression/valid/combination/testfile-set_arrays002.ae similarity index 100% rename from non-regression/valid/combination/testfile-set_arrays002.mlw rename to non-regression/valid/combination/testfile-set_arrays002.ae diff --git a/non-regression/valid/combination/testfile-set_arrays003.mlw b/non-regression/valid/combination/testfile-set_arrays003.ae similarity index 100% rename from non-regression/valid/combination/testfile-set_arrays003.mlw rename to non-regression/valid/combination/testfile-set_arrays003.ae diff --git a/non-regression/valid/combination/testfile-set_arrays004.mlw b/non-regression/valid/combination/testfile-set_arrays004.ae similarity index 100% rename from non-regression/valid/combination/testfile-set_arrays004.mlw rename to non-regression/valid/combination/testfile-set_arrays004.ae diff --git a/non-regression/valid/everything/a0.mlw b/non-regression/valid/everything/a0.ae similarity index 100% rename from non-regression/valid/everything/a0.mlw rename to non-regression/valid/everything/a0.ae diff --git a/non-regression/valid/everything/a1.mlw b/non-regression/valid/everything/a1.ae similarity index 100% rename from non-regression/valid/everything/a1.mlw rename to non-regression/valid/everything/a1.ae diff --git a/non-regression/valid/everything/bugfix#11_should_be_proved.mlw b/non-regression/valid/everything/bugfix#11_should_be_proved.ae similarity index 100% rename from non-regression/valid/everything/bugfix#11_should_be_proved.mlw rename to non-regression/valid/everything/bugfix#11_should_be_proved.ae diff --git a/non-regression/valid/everything/bugfix#5.mlw b/non-regression/valid/everything/bugfix#5.ae similarity index 100% rename from non-regression/valid/everything/bugfix#5.mlw rename to non-regression/valid/everything/bugfix#5.ae diff --git a/non-regression/valid/everything/bugfix#6.mlw b/non-regression/valid/everything/bugfix#6.ae similarity index 100% rename from non-regression/valid/everything/bugfix#6.mlw rename to non-regression/valid/everything/bugfix#6.ae diff --git a/non-regression/valid/everything/bugfix#7.mlw b/non-regression/valid/everything/bugfix#7.ae similarity index 100% rename from non-regression/valid/everything/bugfix#7.mlw rename to non-regression/valid/everything/bugfix#7.ae diff --git a/non-regression/valid/everything/bugfix#8.mlw b/non-regression/valid/everything/bugfix#8.ae similarity index 100% rename from non-regression/valid/everything/bugfix#8.mlw rename to non-regression/valid/everything/bugfix#8.ae diff --git a/non-regression/valid/everything/e1.mlw b/non-regression/valid/everything/e1.ae similarity index 100% rename from non-regression/valid/everything/e1.mlw rename to non-regression/valid/everything/e1.ae diff --git a/non-regression/valid/everything/e2.mlw b/non-regression/valid/everything/e2.ae similarity index 100% rename from non-regression/valid/everything/e2.mlw rename to non-regression/valid/everything/e2.ae diff --git a/non-regression/valid/everything/e3.mlw b/non-regression/valid/everything/e3.ae similarity index 100% rename from non-regression/valid/everything/e3.mlw rename to non-regression/valid/everything/e3.ae diff --git a/non-regression/valid/everything/e4.mlw b/non-regression/valid/everything/e4.ae similarity index 100% rename from non-regression/valid/everything/e4.mlw rename to non-regression/valid/everything/e4.ae diff --git a/non-regression/valid/everything/e5.mlw b/non-regression/valid/everything/e5.ae similarity index 100% rename from non-regression/valid/everything/e5.mlw rename to non-regression/valid/everything/e5.ae diff --git a/non-regression/valid/everything/e6.mlw b/non-regression/valid/everything/e6.ae similarity index 100% rename from non-regression/valid/everything/e6.mlw rename to non-regression/valid/everything/e6.ae diff --git a/non-regression/valid/everything/f-ite-valid-1.mlw b/non-regression/valid/everything/f-ite-valid-1.ae similarity index 100% rename from non-regression/valid/everything/f-ite-valid-1.mlw rename to non-regression/valid/everything/f-ite-valid-1.ae diff --git a/non-regression/valid/everything/f-ite-valid-2.mlw b/non-regression/valid/everything/f-ite-valid-2.ae similarity index 100% rename from non-regression/valid/everything/f-ite-valid-2.mlw rename to non-regression/valid/everything/f-ite-valid-2.ae diff --git a/non-regression/valid/everything/f-ite-valid-3.mlw b/non-regression/valid/everything/f-ite-valid-3.ae similarity index 100% rename from non-regression/valid/everything/f-ite-valid-3.mlw rename to non-regression/valid/everything/f-ite-valid-3.ae diff --git a/non-regression/valid/everything/f1.mlw b/non-regression/valid/everything/f1.ae similarity index 100% rename from non-regression/valid/everything/f1.mlw rename to non-regression/valid/everything/f1.ae diff --git a/non-regression/valid/everything/f2-rev.mlw b/non-regression/valid/everything/f2-rev.ae similarity index 100% rename from non-regression/valid/everything/f2-rev.mlw rename to non-regression/valid/everything/f2-rev.ae diff --git a/non-regression/valid/everything/f2.mlw b/non-regression/valid/everything/f2.ae similarity index 100% rename from non-regression/valid/everything/f2.mlw rename to non-regression/valid/everything/f2.ae diff --git a/non-regression/valid/everything/f3.mlw b/non-regression/valid/everything/f3.ae similarity index 100% rename from non-regression/valid/everything/f3.mlw rename to non-regression/valid/everything/f3.ae diff --git a/non-regression/valid/everything/f4.mlw b/non-regression/valid/everything/f4.ae similarity index 100% rename from non-regression/valid/everything/f4.mlw rename to non-regression/valid/everything/f4.ae diff --git a/non-regression/valid/everything/f5.mlw b/non-regression/valid/everything/f5.ae similarity index 100% rename from non-regression/valid/everything/f5.mlw rename to non-regression/valid/everything/f5.ae diff --git a/non-regression/valid/everything/improvement#1bis.mlw b/non-regression/valid/everything/improvement#1bis.ae similarity index 100% rename from non-regression/valid/everything/improvement#1bis.mlw rename to non-regression/valid/everything/improvement#1bis.ae diff --git a/non-regression/valid/everything/testfile-JC-sw_path_edge_1___MINIMAL.mlw b/non-regression/valid/everything/testfile-JC-sw_path_edge_1___MINIMAL.ae similarity index 100% rename from non-regression/valid/everything/testfile-JC-sw_path_edge_1___MINIMAL.mlw rename to non-regression/valid/everything/testfile-JC-sw_path_edge_1___MINIMAL.ae diff --git a/non-regression/valid/everything/testfile-case_split001.mlw b/non-regression/valid/everything/testfile-case_split001.ae similarity index 100% rename from non-regression/valid/everything/testfile-case_split001.mlw rename to non-regression/valid/everything/testfile-case_split001.ae diff --git a/non-regression/valid/everything/testfile-case_split002.mlw b/non-regression/valid/everything/testfile-case_split002.ae similarity index 100% rename from non-regression/valid/everything/testfile-case_split002.mlw rename to non-regression/valid/everything/testfile-case_split002.ae diff --git a/non-regression/valid/everything/testfile-distinct001.mlw b/non-regression/valid/everything/testfile-distinct001.ae similarity index 100% rename from non-regression/valid/everything/testfile-distinct001.mlw rename to non-regression/valid/everything/testfile-distinct001.ae diff --git a/non-regression/valid/everything/testfile-everything001.mlw b/non-regression/valid/everything/testfile-everything001.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything001.mlw rename to non-regression/valid/everything/testfile-everything001.ae diff --git a/non-regression/valid/everything/testfile-everything002.mlw b/non-regression/valid/everything/testfile-everything002.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything002.mlw rename to non-regression/valid/everything/testfile-everything002.ae diff --git a/non-regression/valid/everything/testfile-everything003.mlw b/non-regression/valid/everything/testfile-everything003.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything003.mlw rename to non-regression/valid/everything/testfile-everything003.ae diff --git a/non-regression/valid/everything/testfile-everything004.mlw b/non-regression/valid/everything/testfile-everything004.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything004.mlw rename to non-regression/valid/everything/testfile-everything004.ae diff --git a/non-regression/valid/everything/testfile-everything005.mlw b/non-regression/valid/everything/testfile-everything005.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything005.mlw rename to non-regression/valid/everything/testfile-everything005.ae diff --git a/non-regression/valid/everything/testfile-everything006.mlw b/non-regression/valid/everything/testfile-everything006.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything006.mlw rename to non-regression/valid/everything/testfile-everything006.ae diff --git a/non-regression/valid/everything/testfile-everything007.mlw b/non-regression/valid/everything/testfile-everything007.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything007.mlw rename to non-regression/valid/everything/testfile-everything007.ae diff --git a/non-regression/valid/everything/testfile-everything008.mlw b/non-regression/valid/everything/testfile-everything008.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything008.mlw rename to non-regression/valid/everything/testfile-everything008.ae diff --git a/non-regression/valid/everything/testfile-everything009.mlw b/non-regression/valid/everything/testfile-everything009.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything009.mlw rename to non-regression/valid/everything/testfile-everything009.ae diff --git a/non-regression/valid/everything/testfile-everything010.mlw b/non-regression/valid/everything/testfile-everything010.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything010.mlw rename to non-regression/valid/everything/testfile-everything010.ae diff --git a/non-regression/valid/everything/testfile-everything011.mlw b/non-regression/valid/everything/testfile-everything011.ae similarity index 100% rename from non-regression/valid/everything/testfile-everything011.mlw rename to non-regression/valid/everything/testfile-everything011.ae diff --git a/non-regression/valid/everything/testfile-explanation001.mlw b/non-regression/valid/everything/testfile-explanation001.ae similarity index 100% rename from non-regression/valid/everything/testfile-explanation001.mlw rename to non-regression/valid/everything/testfile-explanation001.ae diff --git a/non-regression/valid/everything/testfile-explanation002.mlw b/non-regression/valid/everything/testfile-explanation002.ae similarity index 100% rename from non-regression/valid/everything/testfile-explanation002.mlw rename to non-regression/valid/everything/testfile-explanation002.ae diff --git a/non-regression/valid/everything/testfile-explanation003.mlw b/non-regression/valid/everything/testfile-explanation003.ae similarity index 100% rename from non-regression/valid/everything/testfile-explanation003.mlw rename to non-regression/valid/everything/testfile-explanation003.ae diff --git a/non-regression/valid/everything/testfile-explanation004.mlw b/non-regression/valid/everything/testfile-explanation004.ae similarity index 100% rename from non-regression/valid/everything/testfile-explanation004.mlw rename to non-regression/valid/everything/testfile-explanation004.ae diff --git a/non-regression/valid/everything/testfile-fl001.mlw b/non-regression/valid/everything/testfile-fl001.ae similarity index 100% rename from non-regression/valid/everything/testfile-fl001.mlw rename to non-regression/valid/everything/testfile-fl001.ae diff --git a/non-regression/valid/everything/testfile-injective001.mlw b/non-regression/valid/everything/testfile-injective001.ae similarity index 100% rename from non-regression/valid/everything/testfile-injective001.mlw rename to non-regression/valid/everything/testfile-injective001.ae diff --git a/non-regression/valid/everything/testfile-predicate001.mlw b/non-regression/valid/everything/testfile-predicate001.ae similarity index 100% rename from non-regression/valid/everything/testfile-predicate001.mlw rename to non-regression/valid/everything/testfile-predicate001.ae diff --git a/non-regression/valid/everything/testfile-tab001.mlw b/non-regression/valid/everything/testfile-tab001.ae similarity index 100% rename from non-regression/valid/everything/testfile-tab001.mlw rename to non-regression/valid/everything/testfile-tab001.ae diff --git a/non-regression/valid/exists/testfile-exist002.mlw b/non-regression/valid/exists/testfile-exist002.ae similarity index 100% rename from non-regression/valid/exists/testfile-exist002.mlw rename to non-regression/valid/exists/testfile-exist002.ae diff --git a/non-regression/valid/exists/testfile-exist003.mlw b/non-regression/valid/exists/testfile-exist003.ae similarity index 100% rename from non-regression/valid/exists/testfile-exist003.mlw rename to non-regression/valid/exists/testfile-exist003.ae diff --git a/non-regression/valid/exists/testfile-exist004.mlw b/non-regression/valid/exists/testfile-exist004.ae similarity index 100% rename from non-regression/valid/exists/testfile-exist004.mlw rename to non-regression/valid/exists/testfile-exist004.ae diff --git a/non-regression/valid/ite/ite-1.mlw b/non-regression/valid/ite/ite-1.ae similarity index 100% rename from non-regression/valid/ite/ite-1.mlw rename to non-regression/valid/ite/ite-1.ae diff --git a/non-regression/valid/ite/ite-2.mlw b/non-regression/valid/ite/ite-2.ae similarity index 100% rename from non-regression/valid/ite/ite-2.mlw rename to non-regression/valid/ite/ite-2.ae diff --git a/non-regression/valid/ite/ite-3.mlw b/non-regression/valid/ite/ite-3.ae similarity index 100% rename from non-regression/valid/ite/ite-3.mlw rename to non-regression/valid/ite/ite-3.ae diff --git a/non-regression/valid/ite/ite-4-bugfix.mlw b/non-regression/valid/ite/ite-4-bugfix.ae similarity index 100% rename from non-regression/valid/ite/ite-4-bugfix.mlw rename to non-regression/valid/ite/ite-4-bugfix.ae diff --git a/non-regression/valid/ite/ite-5-should-be-enhanced.mlw b/non-regression/valid/ite/ite-5-should-be-enhanced.ae similarity index 100% rename from non-regression/valid/ite/ite-5-should-be-enhanced.mlw rename to non-regression/valid/ite/ite-5-should-be-enhanced.ae diff --git a/non-regression/valid/ite/ite-5.mlw b/non-regression/valid/ite/ite-5.ae similarity index 100% rename from non-regression/valid/ite/ite-5.mlw rename to non-regression/valid/ite/ite-5.ae diff --git a/non-regression/valid/ite/testfile-everything012.mlw b/non-regression/valid/ite/testfile-everything012.ae similarity index 100% rename from non-regression/valid/ite/testfile-everything012.mlw rename to non-regression/valid/ite/testfile-everything012.ae diff --git a/non-regression/valid/let/let--valid-1.mlw b/non-regression/valid/let/let--valid-1.ae similarity index 100% rename from non-regression/valid/let/let--valid-1.mlw rename to non-regression/valid/let/let--valid-1.ae diff --git a/non-regression/valid/let/let--valid-2.mlw b/non-regression/valid/let/let--valid-2.ae similarity index 100% rename from non-regression/valid/let/let--valid-2.mlw rename to non-regression/valid/let/let--valid-2.ae diff --git a/non-regression/valid/let/let--valid-3.mlw b/non-regression/valid/let/let--valid-3.ae similarity index 100% rename from non-regression/valid/let/let--valid-3.mlw rename to non-regression/valid/let/let--valid-3.ae diff --git a/non-regression/valid/let/let-form-1.mlw b/non-regression/valid/let/let-form-1.ae similarity index 100% rename from non-regression/valid/let/let-form-1.mlw rename to non-regression/valid/let/let-form-1.ae diff --git a/non-regression/valid/let/let-form-2.mlw b/non-regression/valid/let/let-form-2.ae similarity index 100% rename from non-regression/valid/let/let-form-2.mlw rename to non-regression/valid/let/let-form-2.ae diff --git a/non-regression/valid/let/let-form-in-term-2.mlw b/non-regression/valid/let/let-form-in-term-2.ae similarity index 100% rename from non-regression/valid/let/let-form-in-term-2.mlw rename to non-regression/valid/let/let-form-in-term-2.ae diff --git a/non-regression/valid/let/let-form-in-term.mlw b/non-regression/valid/let/let-form-in-term.ae similarity index 100% rename from non-regression/valid/let/let-form-in-term.mlw rename to non-regression/valid/let/let-form-in-term.ae diff --git a/non-regression/valid/let/let-term-in-form-1.mlw b/non-regression/valid/let/let-term-in-form-1.ae similarity index 100% rename from non-regression/valid/let/let-term-in-form-1.mlw rename to non-regression/valid/let/let-term-in-form-1.ae diff --git a/non-regression/valid/let/let-term-in-form-2.mlw b/non-regression/valid/let/let-term-in-form-2.ae similarity index 100% rename from non-regression/valid/let/let-term-in-form-2.mlw rename to non-regression/valid/let/let-term-in-form-2.ae diff --git a/non-regression/valid/let/multi-1.mlw b/non-regression/valid/let/multi-1.ae similarity index 100% rename from non-regression/valid/let/multi-1.mlw rename to non-regression/valid/let/multi-1.ae diff --git a/non-regression/valid/let/multi-2.mlw b/non-regression/valid/let/multi-2.ae similarity index 100% rename from non-regression/valid/let/multi-2.mlw rename to non-regression/valid/let/multi-2.ae diff --git a/non-regression/valid/let/multi-3.mlw b/non-regression/valid/let/multi-3.ae similarity index 100% rename from non-regression/valid/let/multi-3.mlw rename to non-regression/valid/let/multi-3.ae diff --git a/non-regression/valid/let/multi-4.mlw b/non-regression/valid/let/multi-4.ae similarity index 100% rename from non-regression/valid/let/multi-4.mlw rename to non-regression/valid/let/multi-4.ae diff --git a/non-regression/valid/let/multi-5.mlw b/non-regression/valid/let/multi-5.ae similarity index 100% rename from non-regression/valid/let/multi-5.mlw rename to non-regression/valid/let/multi-5.ae diff --git a/non-regression/valid/let/testfile-let001.mlw b/non-regression/valid/let/testfile-let001.ae similarity index 100% rename from non-regression/valid/let/testfile-let001.mlw rename to non-regression/valid/let/testfile-let001.ae diff --git a/non-regression/valid/let/testfile-let002.mlw b/non-regression/valid/let/testfile-let002.ae similarity index 100% rename from non-regression/valid/let/testfile-let002.mlw rename to non-regression/valid/let/testfile-let002.ae diff --git a/non-regression/valid/let/testfile-let003.mlw b/non-regression/valid/let/testfile-let003.ae similarity index 100% rename from non-regression/valid/let/testfile-let003.mlw rename to non-regression/valid/let/testfile-let003.ae diff --git a/non-regression/valid/let/testfile-let004.mlw b/non-regression/valid/let/testfile-let004.ae similarity index 100% rename from non-regression/valid/let/testfile-let004.mlw rename to non-regression/valid/let/testfile-let004.ae diff --git a/non-regression/valid/let/testfile-let005.mlw b/non-regression/valid/let/testfile-let005.ae similarity index 100% rename from non-regression/valid/let/testfile-let005.mlw rename to non-regression/valid/let/testfile-let005.ae diff --git a/non-regression/valid/let/testfile-let006.mlw b/non-regression/valid/let/testfile-let006.ae similarity index 100% rename from non-regression/valid/let/testfile-let006.mlw rename to non-regression/valid/let/testfile-let006.ae diff --git a/non-regression/valid/polymorphism/testfile-polymorphism001.mlw b/non-regression/valid/polymorphism/testfile-polymorphism001.ae similarity index 100% rename from non-regression/valid/polymorphism/testfile-polymorphism001.mlw rename to non-regression/valid/polymorphism/testfile-polymorphism001.ae diff --git a/non-regression/valid/polymorphism/testfile-polymorphism003.mlw b/non-regression/valid/polymorphism/testfile-polymorphism003.ae similarity index 100% rename from non-regression/valid/polymorphism/testfile-polymorphism003.mlw rename to non-regression/valid/polymorphism/testfile-polymorphism003.ae diff --git a/non-regression/valid/polymorphism/testfile-polymorphism004.mlw b/non-regression/valid/polymorphism/testfile-polymorphism004.ae similarity index 100% rename from non-regression/valid/polymorphism/testfile-polymorphism004.mlw rename to non-regression/valid/polymorphism/testfile-polymorphism004.ae diff --git a/non-regression/valid/polymorphism/testfile-polymorphism005.mlw b/non-regression/valid/polymorphism/testfile-polymorphism005.ae similarity index 100% rename from non-regression/valid/polymorphism/testfile-polymorphism005.mlw rename to non-regression/valid/polymorphism/testfile-polymorphism005.ae diff --git a/non-regression/valid/polymorphism/testfile-polymorphism006.mlw b/non-regression/valid/polymorphism/testfile-polymorphism006.ae similarity index 100% rename from non-regression/valid/polymorphism/testfile-polymorphism006.mlw rename to non-regression/valid/polymorphism/testfile-polymorphism006.ae diff --git a/non-regression/valid/polymorphism/testfile-polymorphism007.mlw b/non-regression/valid/polymorphism/testfile-polymorphism007.ae similarity index 100% rename from non-regression/valid/polymorphism/testfile-polymorphism007.mlw rename to non-regression/valid/polymorphism/testfile-polymorphism007.ae diff --git a/non-regression/valid/polymorphism/testfile-polymorphism008.mlw b/non-regression/valid/polymorphism/testfile-polymorphism008.ae similarity index 100% rename from non-regression/valid/polymorphism/testfile-polymorphism008.mlw rename to non-regression/valid/polymorphism/testfile-polymorphism008.ae diff --git a/non-regression/valid/quantifiers/testfile-github001.mlw b/non-regression/valid/quantifiers/testfile-github001.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-github001.mlw rename to non-regression/valid/quantifiers/testfile-github001.ae diff --git a/non-regression/valid/quantifiers/testfile-github002.mlw b/non-regression/valid/quantifiers/testfile-github002.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-github002.mlw rename to non-regression/valid/quantifiers/testfile-github002.ae diff --git a/non-regression/valid/quantifiers/testfile-github003.mlw b/non-regression/valid/quantifiers/testfile-github003.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-github003.mlw rename to non-regression/valid/quantifiers/testfile-github003.ae diff --git a/non-regression/valid/quantifiers/testfile-list001.mlw b/non-regression/valid/quantifiers/testfile-list001.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-list001.mlw rename to non-regression/valid/quantifiers/testfile-list001.ae diff --git a/non-regression/valid/quantifiers/testfile-list002.mlw b/non-regression/valid/quantifiers/testfile-list002.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-list002.mlw rename to non-regression/valid/quantifiers/testfile-list002.ae diff --git a/non-regression/valid/quantifiers/testfile-list003.mlw b/non-regression/valid/quantifiers/testfile-list003.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-list003.mlw rename to non-regression/valid/quantifiers/testfile-list003.ae diff --git a/non-regression/valid/quantifiers/testfile-list004.mlw b/non-regression/valid/quantifiers/testfile-list004.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-list004.mlw rename to non-regression/valid/quantifiers/testfile-list004.ae diff --git a/non-regression/valid/quantifiers/testfile-list005.mlw b/non-regression/valid/quantifiers/testfile-list005.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-list005.mlw rename to non-regression/valid/quantifiers/testfile-list005.ae diff --git a/non-regression/valid/quantifiers/testfile-list006.mlw b/non-regression/valid/quantifiers/testfile-list006.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-list006.mlw rename to non-regression/valid/quantifiers/testfile-list006.ae diff --git a/non-regression/valid/quantifiers/testfile-list007.mlw b/non-regression/valid/quantifiers/testfile-list007.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-list007.mlw rename to non-regression/valid/quantifiers/testfile-list007.ae diff --git a/non-regression/valid/quantifiers/testfile-quant-arith-001.mlw b/non-regression/valid/quantifiers/testfile-quant-arith-001.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant-arith-001.mlw rename to non-regression/valid/quantifiers/testfile-quant-arith-001.ae diff --git a/non-regression/valid/quantifiers/testfile-quant-arith-002.mlw b/non-regression/valid/quantifiers/testfile-quant-arith-002.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant-arith-002.mlw rename to non-regression/valid/quantifiers/testfile-quant-arith-002.ae diff --git a/non-regression/valid/quantifiers/testfile-quant001.mlw b/non-regression/valid/quantifiers/testfile-quant001.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant001.mlw rename to non-regression/valid/quantifiers/testfile-quant001.ae diff --git a/non-regression/valid/quantifiers/testfile-quant002.mlw b/non-regression/valid/quantifiers/testfile-quant002.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant002.mlw rename to non-regression/valid/quantifiers/testfile-quant002.ae diff --git a/non-regression/valid/quantifiers/testfile-quant003.mlw b/non-regression/valid/quantifiers/testfile-quant003.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant003.mlw rename to non-regression/valid/quantifiers/testfile-quant003.ae diff --git a/non-regression/valid/quantifiers/testfile-quant004.mlw b/non-regression/valid/quantifiers/testfile-quant004.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant004.mlw rename to non-regression/valid/quantifiers/testfile-quant004.ae diff --git a/non-regression/valid/quantifiers/testfile-quant005.mlw b/non-regression/valid/quantifiers/testfile-quant005.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant005.mlw rename to non-regression/valid/quantifiers/testfile-quant005.ae diff --git a/non-regression/valid/quantifiers/testfile-quant006.mlw b/non-regression/valid/quantifiers/testfile-quant006.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant006.mlw rename to non-regression/valid/quantifiers/testfile-quant006.ae diff --git a/non-regression/valid/quantifiers/testfile-quant007.mlw b/non-regression/valid/quantifiers/testfile-quant007.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant007.mlw rename to non-regression/valid/quantifiers/testfile-quant007.ae diff --git a/non-regression/valid/quantifiers/testfile-quant008.mlw b/non-regression/valid/quantifiers/testfile-quant008.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant008.mlw rename to non-regression/valid/quantifiers/testfile-quant008.ae diff --git a/non-regression/valid/quantifiers/testfile-quant009.mlw b/non-regression/valid/quantifiers/testfile-quant009.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant009.mlw rename to non-regression/valid/quantifiers/testfile-quant009.ae diff --git a/non-regression/valid/quantifiers/testfile-quant010.mlw b/non-regression/valid/quantifiers/testfile-quant010.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant010.mlw rename to non-regression/valid/quantifiers/testfile-quant010.ae diff --git a/non-regression/valid/quantifiers/testfile-quant011.mlw b/non-regression/valid/quantifiers/testfile-quant011.ae similarity index 100% rename from non-regression/valid/quantifiers/testfile-quant011.mlw rename to non-regression/valid/quantifiers/testfile-quant011.ae diff --git a/non-regression/valid/sum/testfile-sum001.mlw b/non-regression/valid/sum/testfile-sum001.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum001.mlw rename to non-regression/valid/sum/testfile-sum001.ae diff --git a/non-regression/valid/sum/testfile-sum002.mlw b/non-regression/valid/sum/testfile-sum002.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum002.mlw rename to non-regression/valid/sum/testfile-sum002.ae diff --git a/non-regression/valid/sum/testfile-sum003.mlw b/non-regression/valid/sum/testfile-sum003.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum003.mlw rename to non-regression/valid/sum/testfile-sum003.ae diff --git a/non-regression/valid/sum/testfile-sum004.mlw b/non-regression/valid/sum/testfile-sum004.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum004.mlw rename to non-regression/valid/sum/testfile-sum004.ae diff --git a/non-regression/valid/sum/testfile-sum005.mlw b/non-regression/valid/sum/testfile-sum005.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum005.mlw rename to non-regression/valid/sum/testfile-sum005.ae diff --git a/non-regression/valid/sum/testfile-sum006.mlw b/non-regression/valid/sum/testfile-sum006.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum006.mlw rename to non-regression/valid/sum/testfile-sum006.ae diff --git a/non-regression/valid/sum/testfile-sum007.mlw b/non-regression/valid/sum/testfile-sum007.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum007.mlw rename to non-regression/valid/sum/testfile-sum007.ae diff --git a/non-regression/valid/sum/testfile-sum008.mlw b/non-regression/valid/sum/testfile-sum008.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum008.mlw rename to non-regression/valid/sum/testfile-sum008.ae diff --git a/non-regression/valid/sum/testfile-sum009.mlw b/non-regression/valid/sum/testfile-sum009.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum009.mlw rename to non-regression/valid/sum/testfile-sum009.ae diff --git a/non-regression/valid/sum/testfile-sum_poly_arrays001.mlw b/non-regression/valid/sum/testfile-sum_poly_arrays001.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum_poly_arrays001.mlw rename to non-regression/valid/sum/testfile-sum_poly_arrays001.ae diff --git a/non-regression/valid/sum/testfile-sum_poly_arrays002.mlw b/non-regression/valid/sum/testfile-sum_poly_arrays002.ae similarity index 100% rename from non-regression/valid/sum/testfile-sum_poly_arrays002.mlw rename to non-regression/valid/sum/testfile-sum_poly_arrays002.ae diff --git a/non-regression/valid/typing/testfile-typage001.mlw b/non-regression/valid/typing/testfile-typage001.ae similarity index 100% rename from non-regression/valid/typing/testfile-typage001.mlw rename to non-regression/valid/typing/testfile-typage001.ae diff --git a/non-regression/valid/typing/testfile-typage002.mlw b/non-regression/valid/typing/testfile-typage002.ae similarity index 100% rename from non-regression/valid/typing/testfile-typage002.mlw rename to non-regression/valid/typing/testfile-typage002.ae diff --git a/non-regression/valid/typing/testfile-typage003.mlw b/non-regression/valid/typing/testfile-typage003.ae similarity index 100% rename from non-regression/valid/typing/testfile-typage003.mlw rename to non-regression/valid/typing/testfile-typage003.ae diff --git a/non-regression/valid/typing/testfile-typage004.mlw b/non-regression/valid/typing/testfile-typage004.ae similarity index 100% rename from non-regression/valid/typing/testfile-typage004.mlw rename to non-regression/valid/typing/testfile-typage004.ae diff --git a/non-regression/valid/typing/testfile-typage005.mlw b/non-regression/valid/typing/testfile-typage005.ae similarity index 100% rename from non-regression/valid/typing/testfile-typage005.mlw rename to non-regression/valid/typing/testfile-typage005.ae diff --git a/non-regression/valid/typing/testfile-typage006.mlw b/non-regression/valid/typing/testfile-typage006.ae similarity index 100% rename from non-regression/valid/typing/testfile-typage006.mlw rename to non-regression/valid/typing/testfile-typage006.ae diff --git a/non-regression/valid/typing/testfile-typage007.mlw b/non-regression/valid/typing/testfile-typage007.ae similarity index 100% rename from non-regression/valid/typing/testfile-typage007.mlw rename to non-regression/valid/typing/testfile-typage007.ae diff --git a/non-regression/valid/typing/testfile-typage008.mlw b/non-regression/valid/typing/testfile-typage008.ae similarity index 100% rename from non-regression/valid/typing/testfile-typage008.mlw rename to non-regression/valid/typing/testfile-typage008.ae diff --git a/non-regression/valid/typing/testfile-typage009.mlw b/non-regression/valid/typing/testfile-typage009.ae similarity index 100% rename from non-regression/valid/typing/testfile-typage009.mlw rename to non-regression/valid/typing/testfile-typage009.ae diff --git a/non-regression/valid/typing/testfile-typage010.mlw b/non-regression/valid/typing/testfile-typage010.ae similarity index 100% rename from non-regression/valid/typing/testfile-typage010.mlw rename to non-regression/valid/typing/testfile-typage010.ae diff --git a/sources/USAGE.md b/sources/USAGE.md index 4695fcd3f..cbd0a068b 100644 --- a/sources/USAGE.md +++ b/sources/USAGE.md @@ -20,7 +20,7 @@ allow to enable the old Tableaux-like SAT-solver: ### Files extensions Alt-Ergo supports file extensions: -- `.why`, `.mlw`, `.ae` for its native input language +- `.ae`, for its native input language (`.why` and `.mlw` are now depreciated although still accepted) - `.psmt2`, `.smt2` for (our polymorphic extension of) the SMT-LIB 2 standard @@ -44,19 +44,19 @@ The Fm-Simplex plugin can be used as follows: Preludes can be passed to Alt-Ergo as follows: - $ alt-ergo --prelude p.why --prelude some-path/q.why [other-options] file.why + $ alt-ergo --prelude p.ae --prelude some-path/q.ae [other-options] file.ae - Alt-Ergo will try to load a local plugin called "p.why". If this + Alt-Ergo will try to load a local prelude called "p.ae". If this fails, Alt-Ergo tries to load it from the default preludes - directory (run "alt-ergo --where preludes" to see its absolute + directory (run `alt-ergo --where preludes` to see its absolute path). You can also provide a relative or an absolute path as shown - by "some-path/q.why". + by "some-path/q.ae". For instance, the following command-line enables floating-point arithmetic reasoning in Alt-Ergo and indicates that the FPA prelude should be loaded: - $ alt-ergo --use-fpa --prelude fpa-theory-2017-01-04-16h00.why + $ alt-ergo --use-fpa --prelude fpa-theory-2017-01-04-16h00.ae ### Plugins and Preludes directories diff --git a/sources/examples/invalid/arith1.why b/sources/examples/invalid/arith1.ae similarity index 100% rename from sources/examples/invalid/arith1.why rename to sources/examples/invalid/arith1.ae diff --git a/sources/examples/invalid/arith2.why b/sources/examples/invalid/arith2.ae similarity index 100% rename from sources/examples/invalid/arith2.why rename to sources/examples/invalid/arith2.ae diff --git a/sources/examples/invalid/arrays.why b/sources/examples/invalid/arrays.ae similarity index 100% rename from sources/examples/invalid/arrays.why rename to sources/examples/invalid/arrays.ae diff --git a/sources/examples/invalid/bitv.why b/sources/examples/invalid/bitv.ae similarity index 100% rename from sources/examples/invalid/bitv.why rename to sources/examples/invalid/bitv.ae diff --git a/sources/examples/valid/ac_arith.why b/sources/examples/valid/ac_arith.ae similarity index 100% rename from sources/examples/valid/ac_arith.why rename to sources/examples/valid/ac_arith.ae diff --git a/sources/examples/valid/arith1.why b/sources/examples/valid/arith1.ae similarity index 100% rename from sources/examples/valid/arith1.why rename to sources/examples/valid/arith1.ae diff --git a/sources/examples/valid/arith2.why b/sources/examples/valid/arith2.ae similarity index 100% rename from sources/examples/valid/arith2.why rename to sources/examples/valid/arith2.ae diff --git a/sources/examples/valid/arith3.why b/sources/examples/valid/arith3.ae similarity index 100% rename from sources/examples/valid/arith3.why rename to sources/examples/valid/arith3.ae diff --git a/sources/examples/valid/arith4.why b/sources/examples/valid/arith4.ae similarity index 100% rename from sources/examples/valid/arith4.why rename to sources/examples/valid/arith4.ae diff --git a/sources/examples/valid/arrays.why b/sources/examples/valid/arrays.ae similarity index 100% rename from sources/examples/valid/arrays.why rename to sources/examples/valid/arrays.ae diff --git a/sources/examples/valid/bitv.why b/sources/examples/valid/bitv.ae similarity index 100% rename from sources/examples/valid/bitv.why rename to sources/examples/valid/bitv.ae diff --git a/sources/examples/valid/congruence.why b/sources/examples/valid/congruence.ae similarity index 100% rename from sources/examples/valid/congruence.why rename to sources/examples/valid/congruence.ae diff --git a/sources/examples/valid/enum_arrays.why b/sources/examples/valid/enum_arrays.ae similarity index 100% rename from sources/examples/valid/enum_arrays.why rename to sources/examples/valid/enum_arrays.ae diff --git a/sources/examples/valid/quantifiers.why b/sources/examples/valid/quantifiers.ae similarity index 100% rename from sources/examples/valid/quantifiers.why rename to sources/examples/valid/quantifiers.ae diff --git a/sources/lib/structures/typed.mli b/sources/lib/structures/typed.mli index b3bbed26e..cff6b3573 100644 --- a/sources/lib/structures/typed.mli +++ b/sources/lib/structures/typed.mli @@ -100,7 +100,7 @@ and 'a tt_desc = (** Arbitrary symbol application *) | TTmapsTo of Var.t * 'a atterm (** Used in semantic triggers for floating point arithmetic. - See sources/preludes/fpa-theory-2017-01-04-16h00.why *) + See sources/preludes/fpa-theory-2017-01-04-16h00.ae *) | TTinInterval of 'a atterm * Symbols.bound * Symbols.bound (** Represent floating point intervals (used for triggers in Floating point arithmetic theory). diff --git a/sources/lib/util/options.ml b/sources/lib/util/options.ml index 6957a5cee..d4b41cbef 100644 --- a/sources/lib/util/options.ml +++ b/sources/lib/util/options.ml @@ -132,7 +132,7 @@ let vno_backward = ref false let vno_sat_learning = ref false let vinstantiate_after_backjump = ref false let vdisable_weaks = ref false -let vinput_format = ref "why" +let vinput_format = ref "ae" let vanswers_with_loc = ref true type output = ONative | OSmtlib | OSZS @@ -1369,7 +1369,8 @@ let main = let file = let doc = - "Source file. Must be suffixed by $(i,.mlw), $(i,.why), \ + "Source file. Must be suffixed by $(i,.ae), \ + ($(i,.mlw) and $(i,.why) are depreciated, \ $(i,.smt2) or $(i,.psmt2)." in let i = Arg.(info [] ~docv:"FILE" ~doc) in Arg.(value & pos ~rev:true 0 (some string) None & i) in diff --git a/sources/lib/util/options.mli b/sources/lib/util/options.mli index b3d2286f3..a3e289411 100644 --- a/sources/lib/util/options.mli +++ b/sources/lib/util/options.mli @@ -397,7 +397,7 @@ val frontend : unit -> string does not allow to automatically select a parser (eg. JS mode, GUI mode, ...). *) val input_format : unit -> string -(** Default to [.why] *) +(** Default to [.ae] *) (** [true] if the program shall stop after parsing. *) val parse_only : unit -> bool diff --git a/sources/plugins/AB-Why3/README.md b/sources/plugins/AB-Why3/README.md index 6bc77ee17..2a018a892 100644 --- a/sources/plugins/AB-Why3/README.md +++ b/sources/plugins/AB-Why3/README.md @@ -21,7 +21,7 @@ written in Why3's logic. Assuming you are currently in `alt-ergo-git/sources` directory, and `autoconf && ./configure && make` succeeded, you can ask Alt-Ergo to -prove the goals given in a file `b-why3-POs.why` with the following +prove the goals given in a file `b-why3-POs.ae` with the following command: diff --git a/sources/preludes/dune b/sources/preludes/dune index ab2977efc..02077529e 100644 --- a/sources/preludes/dune +++ b/sources/preludes/dune @@ -5,8 +5,8 @@ (files (b-set-theory-prelude-2018-09-28.ae as preludes/b-set-theory-prelude-2018-09-28.ae) (b-set-theory-prelude-2020-02-28.ae as preludes/b-set-theory-prelude-2020-02-28.ae) - (fpa-theory-2017-01-04-16h00.why as preludes/fpa-theory-2017-01-04-16h00.why) - (fpa-theory-2019-06-14-11h00.why as preludes/fpa-theory-2019-06-14-11h00.why) - (fpa-theory-2019-10-08-19h00.why as preludes/fpa-theory-2019-10-08-19h00.why) + (fpa-theory-2017-01-04-16h00.ae as preludes/fpa-theory-2017-01-04-16h00.ae) + (fpa-theory-2019-06-14-11h00.ae as preludes/fpa-theory-2019-06-14-11h00.ae) + (fpa-theory-2019-10-08-19h00.ae as preludes/fpa-theory-2019-10-08-19h00.ae) ) ) diff --git a/sources/preludes/fpa-theory-2017-01-04-16h00.why b/sources/preludes/fpa-theory-2017-01-04-16h00.ae similarity index 100% rename from sources/preludes/fpa-theory-2017-01-04-16h00.why rename to sources/preludes/fpa-theory-2017-01-04-16h00.ae diff --git a/sources/preludes/fpa-theory-2019-06-14-11h00.why b/sources/preludes/fpa-theory-2019-06-14-11h00.ae similarity index 100% rename from sources/preludes/fpa-theory-2019-06-14-11h00.why rename to sources/preludes/fpa-theory-2019-06-14-11h00.ae diff --git a/sources/preludes/fpa-theory-2019-10-08-19h00.why b/sources/preludes/fpa-theory-2019-10-08-19h00.ae similarity index 100% rename from sources/preludes/fpa-theory-2019-10-08-19h00.why rename to sources/preludes/fpa-theory-2019-10-08-19h00.ae