fix unsoundness bug in Equality#isFalse