The bestOut (c) routine exploits the fact that the constraints of Model 1 only act on the label for trigger i and its outgoing edges.
enforcing consistency between e i,t and outgoing edges a i,j,r has no effect on consistency between e l,t and a i ,j ,r for any other trigger i = i.