finished implementing routines for reduction of strongly connected parts of the payment digraph
fix merge conflict