A checker for PROV-CONSTRAINTS