Move "(A & C) == D is false when D & ~C != 0" to match.pd