Finite_domain_constraint loading ...