执行意图的障碍预判:IF-THEN-ELSE的备选方案设计