Now, the program passes the test002 on CFG.