归纳变量识别和消除