        (loop [j (int (dec i))]
 	 (cond
 	   (< j 0)
-	   true
-	   (not (= (.get A j) (.get B j)))
-	   false
+	   true,
+	   (not= (.get A j) (.get B j))
+	   false,
 	   :else
 	   (recur (dec j))))))
 

	    (to-hashset attribute-vector bitset)])
	 intents)))

;; Krajca-Outrata-Vychodil (:vok)

;; In-Close (:in-close)

;;;

(defn- next-closed-set
  ""
  [base-count clop #^BitSet A]
  (loop [i (dec (int base-count))]
    (cond
      (== -1 i)
      nil,
      (.get A i)
      (recur (dec i)),
      :else
      (let [A_i (oplus base-count clop A i)]
	(if (lectic-<_i base-count i A A_i)
