Deal with -a option for fzn