nested constraint systems