semantic: Implement CFG.
semantic: Handle a unary case used by assert transformations in CFG.
semantic: Use CTFE in CFG constant evaluation.