Generally verify logic type consistency
Generally verify logic type consistency