Remove in https://github.com/jump-dev/SumOfSquares.jl/pull/297 because it failed because I think it's really too brittle
Remove in #297 because it failed because I think it's really too brittle