启动Raptor后，可见程序区有开始(Start)和结束(End)符号，我们在这之间加入语句符号来完成我们的求解任务。