GitLab

(a recent commit broke it)

Noone is really using these informations at the moment and they weren't
correctly invalidated anyway.

some were missing anyway and nobody is using the global declarations anyway

The cfopt itself can handle unreachable code,
but it transforms it in a way that makes the verifier unhappy.