We are certain that there are still some remaining bugs in CIL. If you find one please file a bug report in our Github https://github.com/goblint/cil.
