CFGFactory in CFG.scala