fix a bug with strong negation in explicit FLP check