完成部分赋值语句的推演