   (sootsignature-as-method [this] 
                            ""))
   
+(defn
+  behavior-soot|method
+  "Relation between a method or advice, and the corresponding Soot method."
+  [?method ?soot]
+  (fresh [?model ?scene ?signature]
+         (world/method ?method)
+         (equals ?signature (sootsignature ?method))
+         (soot/soot-model-scene ?model ?scene)
+         (soot/soot-method-signature ?soot ?signature)))
 
 (defn
   advice-soot|method 

                           (qwal/qcurrent [icfgnode]
                                          (equals ?soot|method2 (soot/icfgnode-method icfgnode)))))))
         
         
         
         
(comment
  (damp.ekeko/ekeko* [?advice ?method] (advice-sootmethod ?advice ?method))
  
  (damp.ekeko/ekeko* [?itmethod ?sootmethod] (intertype|method-sootmethod ?itmethod ?sootmethod))
  

  org.aspectj.weaver.Advice
  (sootsignature [this]
                 (sootsignature-as-method (.getSignature this)))
  org.aspectj.weaver.bcel.BcelMethod
  (sootsignature [this]
    (sootsignature-as-method this))
  org.aspectj.weaver.ConcreteTypeMunger
  (sootsignature [this]
                 (sootsignature (.getMunger this)))
