     (advice-writesto ?entryadvice ?instvar) ;NOT IMPLEMENTED YET
     (aspect-advice ?aspect ?exitadvice)
     (advice-readsfrom ?exitadvice ?instvar)));NOT IMPLEMENTED YET
-
-
-
-
-
 
 ;;Assumption this aspect implements a wormhole
 ;; -- percflow of naive

         (advice-shadow ?ad2 ?shadow)))

;;Assumption: implicit precedence is overridden
(defn
  overriden-implicit-precedence
  [?first ?second]



;;Assumption no double concretization of abstract pointcuts
;;paper 3.1.1 assumption 7 
(defn 
  abstractpointcut-concretized-reconcretized
  [?abpointcut ?concpointcut1 ?concpointcut2]
