fixes for correct handle negate in patterns
Merge pull request #9 from Wu-Wu/handle_negate

fixes for correct handle negate in patterns