Added option to heuristic app to dump the network in dot form
Added more measures to experiment such as conditional probability of being critical