More repMin properties
Temporarily use runRewriteGraph in property because of bug in runBiStateGraph
Improved property for circDelayGraph
Fixed down propagation for graphs