Missing predicate declaration in FlatZinc

[krzku]

I have discovered a strange behaviour of MiniZinc compiler when using with JaCoP and oocsp_racks benchmark. First, it generates correct FlatZinc, that is good but ... JaCoP redefines count_eq as jacop_count. The compiler finds it out and generates right constraints but does not include this predicate at the beginning of the fzn file as predicate specification. It creates some confusions when checking the generated code quickly. MiniZinc compiler 2.4.3 did it correctly.