scf improvement: use k-1 as max flow for non-first edges
Nearly always decreases number of b&b nodes, often decreases running time (not in every case!)
Allow to test single formulations