Now, program  passes the test003 for CFG.