Removes double negation from `exists` or `forall` calls.

Before:

!seq.forall(x => !condition(x))
!seq.exists(x => !condition(x))


After:

seq.exists(x => condition(x))
seq.forall(x => condition(x))