semantic: Implement CFG.
semantic: Simple operator overloading.