pum check should also check the definitions of constraints

[olivierdalang]

See https://github.com/qwat/qwat-data-model/pull/366 where CI missed some differencse.