Add infnan rule