prop_graph now also checks edges and next supply
Print name of property under test
Fixed next supply in reindexGraph, removeIndirections and genDAG'
Fixed mkGraph
Using TestFramework for testing