Remove DownValues hack for Mathics/WMA return value compatibility.

Author: aravindh-krishnamoorthy

IntegrationUtilityFunctions.m

@@ -7734,11 +7734,8 @@ If u is an expression of the form f (Sqrt[a+b*x+c*x^2],x), f (x,x) is a rational
 
 ClearAll[FixIntRules,FixIntRule,FixRhsIntRule]
 
-dvMathicsToMath = RuleDelayed[Verbatim[HoldPattern][Verbatim[Condition][lhs_,cond_]],rhs_] :> RuleDelayed[HoldPattern[lhs],Condition[rhs,cond]];
-dvMathToMathics = RuleDelayed[Verbatim[HoldPattern][lhs_], Verbatim[Condition][rhs_,cond_]] :> RuleDelayed[HoldPattern[Condition[lhs,cond]],rhs];
-
 FixIntRules[] :=
-  (DownValues[Int]=FixIntRules[DownValues[Int] /. dvMathicsToMath] /. dvMathToMathics; Null)
+  (DownValues[Int]=FixIntRules[DownValues[Int]]; Null)
 
 
 FixIntRules[rulelist_] := Block[{Int, Subst, Simp, Star},