Removed .fzn files