Fix a false positive in FavorUnlessOverNegatedIf (fixes #427)