enable simplifyNotComps