Annotation assumptions and tests, first go: @Requires, using type.
Gets a null pointer exception ...
(damp.ekeko/ekeko [?reqd ?reqs] (missing|required-requires ?reqd ?reqs))
NullPointerException   clojure.core.logic.Choice (logic.clj:1094)