A comparison between two integers ensured to be the same width by a `static_cast` is marked as comparing with a wider type. The `static_cast` explicitly ensures, that the two types which are compared have the same width. https://lgtm.com/projects/g/iic-jku/qcec/snapshot/786da1eeb0b143e1d9ea040d35f176eb29752c07/files/extern/qfr/extern/dd_package/include/dd/Package.hpp#xa2e0605205bd5442:1