handleAnd

PushdownUtilities