convert_or_overapproximate broken

[schillic]

With the latest change in LazySets (JuliaReach/LazySets.jl#3335) there is a default fallback for overapproximate, so the following does not work anymore because the second condition is always true:

ReachabilityAnalysis.jl/src/Flowpipes/setops.jl

Lines 107 to 116 in 36d7403

	# fallback implementation for conversion (if applicable) or overapproximation
	function _convert_or_overapproximate(T::Type{<:AbstractPolytope}, X::LazySet)
	if applicable(convert, T, X)
	return convert(T, X)
	elseif applicable(overapproximate, X, T)
	return overapproximate(X, T)
	else
	return convert(T, overapproximate(X, Hyperrectangle))
	end
	end

I see three options:

• use try-catch (cheap because this is just a MethodError via two method lookups)
• undo the change in LazySets
• rewrite the code