Add DFS_inreach routine, tsort sorts only nodes in Ru (additional argument)
Add reach argument to tsort, DFS_reach
Fix DFS_reach routine to return reachability graph
Refactor tsort routine to accept reachibility graph
Add computeActProb routine
Add updateInfSet; preparation phase for LDAG algo