Fix negation resolving
Fix test data
Merge pull request #29 from zolotov/negation-resolving-fix

Negation resolving fix