[Flatzinc] clauses finally work