若工具变量为几个变量组成的多项式，怎么做外生性检验呢？比如，想用“z=x+y+x*y”作为p的工具变量，这种情况可以做过度识别检验吗？