Prevent `eliminate_if` to fail
The triggers are not used and they can make the transformation "eliminate_if" fail.
May work around #741
Edited by Guillaume Melquiond
GitLab upgrade completed. Current version is 17.11.6.
The triggers are not used and they can make the transformation "eliminate_if" fail.
May work around #741