Clojure D-symbols: fixed problem in simplification; added to Euclidicity test