Rewrote mzn2fzn process.