TraceDG: made getAllHyperEdges for global, beginning of distinguishing formula for tracedg
TraceDG: made getAllHyperEdges for global, beginning of distinguishing formula for tracedg

CAAL/CAAL,CAAL/CAAL,CAAL/CAAL,CAAL/CAAL