Add finite domain bijection constraint.