Why does MiniZinc sometimes not use regular constraint defined by a solver?

Question

According to the docs, "global constraints ... can be specialized for the particular solver". Indeed, for nurse rostering problem the FlatZinc model does use solve