;; if we fall through to this then we don't have any ;; valid tests for !a and should fail (bind-func equ:[bool,!a,!a]* -> (lambda (r a b) (equal? a b)) (lambda (a b) #f))