LTL2DA.convertLTLFormulaToDAWithExternalTool: honor PRISM_NO_DA_SIMPLIFY setting

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11751 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/automata/LTL2DA.java

@@ -278,6 +278,10 @@ public class LTL2DA extends PrismComponent
 			throw new PrismException(e.getMessage());
 		}
 
+		if (!getSettings().getBoolean(PrismSettings.PRISM_NO_DA_SIMPLIFY)) {
+			result = DASimplifyAcceptance.simplifyAcceptance(this, result, allowedAcceptance);
+		}
+
 		AcceptanceOmega acceptance = result.getAcceptance();
 		if (AcceptanceType.contains(allowedAcceptance, acceptance.getType())) {
 			return result;