Fix negation resolving