Tighter formulation for transfers
In order to make the transfer constraints tight, there should be a constraint that tries to ensure that only rightward transfer or leftward transfer can exist each time step. This is difficult (or impossible?) without binary variables, but a constraint could be added for ensuring that rightward transfer + leftward transfer does not exceed the capacity of the link.