Rename existing reductions.
Add reduction according to Bar-Yehuda.
Add the base idea in fold-struction.
Add the NT decomposition. Only rescue now is to do Edmonds-Karp correctly.
minor semantic change