   "Relation between an aspect and one of the shadows of its advices."
   [?aspect ?shadow]
   (fresh [?advice]
-           (aspect-advice ?aspect ?advice)
-           (advice-shadow ?advice ?shadow)))
+         (aspect-advice ?aspect ?advice)
+         (advice-shadow ?advice ?shadow)))
 
 
 (defn 



(comment

; Commented out because isExtends is always true
; TODO:if necessary to distinguish extends/implements declare parents, find other way

; // note - will always return true after deserialization, this doesn't affect weaver
;	public boolean isExtends() {
;		return this.isExtends;
;	}

  
  (defn
    declare|parents|extends

  (conde
    [(type-declaredsuper ?type ?ancestor) ]
    [(fresh [?inbetween]
            (type-declaredsuper ?type ?inbetween)
            (type-declaredsuper+ ?inbetween ?ancestor))]))


(defn
