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