Removed arity in Relation as it could not work on empty relations.

Optimized AC constraint variants