the_arity_of (@ set-constr) = {} by Def13;