子求值

subevaluation