#1199 - Add order reduction in overapproximation

[mforets]

Closes #1199.

[codecov-io]

Codecov Report

Merging #1205 into master will decrease coverage by 1.19%.
The diff coverage is 62.5%.

@@            Coverage Diff            @@
##           master    #1205     +/-   ##
=========================================
- Coverage   91.25%   90.05%   -1.2%     
=========================================
  Files          62       62             
  Lines        2949     3128    +179     
=========================================
+ Hits         2691     2817    +126     
- Misses        258      311     +53

Impacted Files	Coverage Δ
src/Approximations/overapproximate.jl	52.8% <62.5%> (-6.85%)	⬇️
src/Hyperrectangle.jl	84% <0%> (-16%)	⬇️
src/VPolytope.jl	75.92% <0%> (-7.2%)	⬇️
src/LazySet.jl	88.52% <0%> (-3.98%)	⬇️
src/HPolyhedron.jl	77.57% <0%> (-3.73%)	⬇️
src/Ball1.jl	100% <0%> (ø)	⬆️
src/HPolygon.jl	100% <0%> (ø)	⬆️
src/BallInf.jl	100% <0%> (ø)	⬆️
src/Singleton.jl	100% <0%> (ø)	⬆️
... and 14 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update ba1f869...c8560bd. Read the comment docs.

[codecov-io]

Codecov Report

Merging #1205 into master will decrease coverage by 1.19%.
The diff coverage is 62.5%.

@@            Coverage Diff            @@
##           master    #1205     +/-   ##
=========================================
- Coverage   91.25%   90.05%   -1.2%     
=========================================
  Files          62       62             
  Lines        2949     3128    +179     
=========================================
+ Hits         2691     2817    +126     
- Misses        258      311     +53

Impacted Files	Coverage Δ
src/Approximations/overapproximate.jl	52.8% <62.5%> (-6.85%)	⬇️
src/Hyperrectangle.jl	84% <0%> (-16%)	⬇️
src/VPolytope.jl	75.92% <0%> (-7.2%)	⬇️
src/LazySet.jl	88.52% <0%> (-3.98%)	⬇️
src/HPolyhedron.jl	77.57% <0%> (-3.73%)	⬇️
src/Ball1.jl	100% <0%> (ø)	⬆️
src/HPolygon.jl	100% <0%> (ø)	⬆️
src/BallInf.jl	100% <0%> (ø)	⬆️
src/Singleton.jl	100% <0%> (ø)	⬆️
... and 14 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update ba1f869...c8560bd. Read the comment docs.

[mforets]

(The build failure is unrelated to this PR.)