Overapproximation with zonotope and PolarDirections (CPA algorithm) crashes

[schillic]

https://github.com/JuliaReach/LazySets.jl/blob/f62bd86c9f9491a400eb52da5b1c9f2df4a9b7da/src/Approximations/overapproximate.jl#L1612-L1615

The above method can be called with a PolarDirections object. Then it calls another method with just the type PolarDirections.

https://github.com/JuliaReach/LazySets.jl/blob/f62bd86c9f9491a400eb52da5b1c9f2df4a9b7da/src/Approximations/overapproximate.jl#L1586-L1591

In the last line a new directions object is created with the argument 2. For BoxDirections etc. this works because this argument is the dimension. For PolarDirections that instead creates just two vectors, which makes the LP solver (correctly) report an infeasible task.