Enabling short-circuit evaluation for And expressions.