improved constraint solver for n-tuple elements x|->y|->z:S