semantic: Implement CFG.