Klever

There were several updates of CIF in branch update-cif-gcc11 already. The latest one is tested by CI.

CI detected several positive degradations and a couple of changed preset mark error trace patterns. After all I merged the branch to master in 24abfb465. Since then you can enjoy CIF/Aspectator on top of GCC11. The most noticeable change is that now there are new statements within the intermediate GCC representation and the C-Backend output: switch, while, do-while and for. Ilya Shchepetkov added their support in Aspectator (#10928).