This was recently added to swh.model
The hypothesis tests sometimes test this hypothesis
Migrated from D6128 (view on Phabricator)
Nicolas Dandrimont authored