Condition (7 R) in the settlement spec can be more precise

[pirapira]

As @hackaugusto points out, the condition (7 R) (7 R) -(D1 - W1) <= T2 + L2 - T1 - L1 <= D2 - W2 is not specific enough.

The clients should rather maintain:

-(D1 - W1) <= T2 - T1 - L1

and

T2 + L2 - T1 <= D2 - W2

Without counting the incoming locked amounts.