Added CFG datatype
Change record names in CFG
Changed Map to Set in CFG
Added union to CFG