 
 
 (defn annotations-bindings
-  "All annotations with their bindings"
+  "All annotations and their bindings"
   []
   (ek/ekeko [?annotation ?binding]
             (astb/ast|annotation-binding|annotation 

      result)))


(defn advice-annotation
  "Return pairs BcelAdvice, AnnotationAJ[]"
  []
  (loop[result nil, raw (advice-shadow)]
    (if (seq raw)
      (let [[adv _] (first raw)]
        (recur (cons [adv (.getAnnotations (.getSignature adv))] result) (rest raw)))
      result)))
              ?annotation 
              "be.ac.ua.aspchecker.annotations.invariant")))

;TODO maybe descompose in a simpler function and apply
(defn binded|annotations
  "Annotation bindings"
  []
