缩写	全称	中文释义
MIVE	Map Induction Variables To Expressions	将归纳变量映射到表达式