n-ary constraints can be created and checked