enable clauses, to enumerate small domains and -server option in fzn_choco