Combination of constraint systems