handle more cases in simplifyNotComps