Ibp2 returns smaller result among second order and first order rules