ignore negation in patterns (close #1)