                        (unifyc rule
                                {:head (last (get lexicon "être"))}))
                      (:grammar @small)))]
-    (and (is (not (empty? result)))
-         (is (= (get-in (first result) [:rule]) "vp-aux")))))
+    (is (not (empty? result)))
+    (is (= (get-in (first result) [:rule]) "vp-aux"))))
 
 (deftest vp-aux-test
   (let [rule (first (filter #(= (:rule %) "vp-aux")
                             (:grammar @small)))]
-    ))
+    (is (not (nil? rule)))))
 
 (def etre-test
-  (first (filter #(= true (get-in % [:synsem :aux]))
-                 (get (:lexicon @small) "être"))))
+  (is (not (nil? (first (filter #(= true (get-in % [:synsem :aux]))
+                                (get (:lexicon @small) "être")))))))
 
 (deftest over-test
   (let [lexicon (:lexicon @small)

                                                :aspect :perfect
                                                :tense :past}}}
                                small)]
    (and (is (not (nil? result)))
         (is (= (fo result) "nous sommes allées")))))


              (get lexicon "je")
              (over grammar
                    (get lexicon "sommes") (get lexicon "aller")))]
    (is (not (nil? result)))
    (is (not (empty? result)))
    (is (= 1 (.size result)))))

(deftest passe-compose-morphology
  (let [result
