group checking with code generation
remove unnecessary checks, no warnings for missing checks