compiler.cfg.*: initial docs for dataflow analysis vocabs