 
 (defn
   advice-soot|method 
+  "Relation between an advice and the corresponding Soot method."
   [?advice ?soot]
   (fresh [?model ?scene ?signature]
          (world/advice ?advice)

    (:use [clojure.core.logic])
    (:use [damp.ekeko logic])
    (:require 
      [damp.ekeko.aspectj 
       [projectmodel :as projectmodel]
       [xcut :as xcut]

         (soot/soot-model-scene ?model ?scene)
         (soot/soot-method-signature ?soot ?signature)))

(defn
  field-soot|field
  "Relation between a field and the corresponding Soot field."
  [?ajfield ?soot]
  (fresh [?model ?scene ?aspect ?signature]
         (world/aspect ?aspect)
