Add scala data structure for CFGs