not yet implemented: derivative
ERROR in (t-rte-to-dfa-random) (rte.clj:605)
Uncaught exception, not in assertion.
expected: nil
actual: clojure.lang.ExceptionInfo: not yet implemented: derivative of java.io.Serializable wrt (and String (not (member "a" "b" "c")))
{:error-type :rte-not-yet-implemented, :pattern java.io.Serializable, :wrt (and String (not (member "a" "b" "c")))}
at clojure_rte.core$compute_compound_derivative.invokeStatic (rte.clj:605)
clojure_rte.core$compute_compound_derivative.invoke (rte.clj:587)
clojure_rte.core$derivative$fn__2095.invoke (rte.clj:649)
clojure_rte.core$traverse_pattern$if_atom__1967.invoke (rte.clj:213)
clojure_rte.core$traverse_pattern.invokeStatic (rte.clj:299)
clojure_rte.core$traverse_pattern.invoke (rte.clj:194)
clojure_rte.core$derivative.invokeStatic (rte.clj:632)