完成到if部分推演