Parser is now parsing n-ary constraints