Fixed globals in flow.MaxFlow_Labels(); generalization to allow bidirectional (i.e. u -> v AND v -> u) edges in flow graphs (needs testing, but it at least terminates); added weights bidirectionally in synthesis step