verify checking for missing types, helps detect dead code stripping