2.35 编写用于隐式分析的umat子程序