parser: Reject goto statements.
semantic: Implement CFG.