implemented CFG.union(CFG)