This can lead to surprising simplifications
Pipeline #17215 passed
Pipeline passed for f11bbbef on seitz:bug-is-negative 5 years ago
Pipeline #17224 passed
Pipeline passed for bda43459 on master 5 years ago
merged
mentioned in commit bda43459