Automatic checking of cfgs at compile-time | Heykuki News