simplifying negation condition in lazy-ass, fixes #14