add the option --simple_rewrite to flatzinc. It seems ok