Yes; but when you say in the model
"forall(i in 1..100) x(i) is_binary"
you are implying that (X(I) can only take values of 0 or 1). And the
conditions for the X(I) values are expressed in the "PathLoad(l)" and
"PathLoad_A(l)" restrictions. The rest is done by the optimizer.
I hope this can still help you (though I guess you have already
figured that out). Sorry for the long delay of my reply.