On the reification of global constraints