optimize conditions to remove comparisons to zero and coercions, where possible
refactor simplifyNotCompsDirect