Try a different SimplificationTechnique (#611)

trunk/source/Library-PDR/src/de/uni_freiburg/informatik/ultimate/lib/pdr/Pdr.java

@@ -1233,7 +1233,7 @@ public IPredicate postprocess(final IPredicate pred, final int l) {
 				}
 				final Term term = withPdr;
 				final Term afterQuantElim = PartialQuantifierElimination.eliminateCompat(mServices, mScript,
-						SimplificationTechnique.SIMPLIFY_QUICK, term);
+						SimplificationTechnique.SIMPLIFY_DDA, term);
 				final IPredicate result = mLocalPredicateUnifier.getOrConstructPredicate(afterQuantElim);
 				assert result != null;
 				return result;