     (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

         (aspect ?modified)))

;;Assumption itd use: intertype method is introduced, but never called
(defn 
  intertypemethod-unused
  [?itmethod]

         (advice-shadow ?ad2 ?shadow)))

;;Assumption: implicit precedence is overridden
;;paper 3.1.1: assumption 9 case 2
(defn
  overriden-implicit-precedence
  [?first ?second]
