          (aspect ?modified)))
 
 ;;Assumption itd use: intertype method is introduced, but never called
+;;paper 3.1.1 assumption 5
 (defn 
   intertypemethod-unused
   [?itmethod]

                              ; (reads-field ?unit ?field)
                               ))))

  
    (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
