User:EmausBot/Moving errors/mzn