Initial preparation for n-ary constraints