semantic: Don't null out aggregate field assigns until all ctors are handled.
semantic: Implement CFG.
semantic: Handle a unary case used by assert transformations in CFG.
semantic: Use CTFE in CFG constant evaluation.