解释变量为x，被解释变量为y，control是控制变量，基础模型为y=a+b*x+c*control,考虑到M变量可能具有调节效应（或者说导致异质性），请问可以构建模型y=a+b*x+c*x*M+d*control来检验M变量是否具有调节效应（或者说导致了异质性）吗？就是不单独把调节变量M加入到模型中。