symbolo and numbero constraint tests for Clojure's core.logic