Add a precondition checking for degeneracies before calling intersection

[sloriot]

Provided the fact that I have to update some tests, maybe we do not want that (or at least turn the precondition into a warning).