The leftmost node contains the constraint a < b .
The leftmost node contains the constraint a < shares the variable b with its parent .
The leftmost node contains the constraint a < b and shares the variable b with its parent .