REBASEME: Self-edit
Set f_{ij} upper bounds to k

It worked before as well, so apparently CPLEX doesn't check bounds
correctly.
Fix swapped comments for in/out flow expressions
Remove redundant constraints and comments

These constraints didn't seriously affect performance.
Remove unused variables