Add constraint checking for intension constraints

checking.lisp

@@ -40,4 +40,11 @@
         (not is-member-p)
         is-member-p)))
 
+(defmethod check-constraint ((constraint <constraint-intension>) vvps &key &allow-other-keys)
+  (unless (= (length vvps) (constraint-adicity constraint))
+    (error "Incorrect number of VVPs (~a vs. ~a)."
+           (length vvps)
+           (constraint-adicity constraint)))
+  (funcall (constraint-function constraint) (fix-vvps vvps constraint)))
+
 ;;; End lcsp