   (all
     (!= ?type ?aspect)
     (aspect ?aspect)
-    (contains (iterator-seq (.getHierarchy ?aspect false true)) ?type)))
+    (contains (iterator-seq (.getHierarchy ?aspect true true)) ?type)))
 
 (defn
   aspect-superaspect+

    (succeeds (.isClass  ?ancestor))))


;todo: wantgenerics is false, check whether this is compatible with the types returned by the other predicates
;(i.e., test with a parameterized aspec)
(defn
  aspect-super+

;  type-member
;  "Relation between a type and one of its declared members as known to the weaver."

(defn- 
  resolvedmember-synthetic?
  [?resolvedmember ?syntheticbool]
