Example unison.mzn does not compile

[krzku]

Benchmark code-generator form MiniZinc challenge 2020 does not compile any longer with compiler version 2.5.2. Generates error "internal error: missing builtin 'exists'".

This example compiled correctly with previous versions of the compiler.

/Kris