constraints added to +check
+constraints check implemented