Added new transitivity constraints.