Class ICFGSupergraph