 
 (deftest
   test-suite  
+ 
+
+  (comment
   
   ;sanity check
   (test/against-project-named "AJ-LMP-Precedence" false test-aspect)
   
-(comment
+
 
   ;precedence logic
   (test/against-project-named "AJ-LMP-Precedence" false test-explicit-decprec+)

      (l/all
        (world/type-packageName ?type "damp.ekeko.aspectj.annotationtests")
        (annotations/excluding|type-key-val ?type ?key ?val)))
    "#{(\"damp.ekeko.aspectj.annotationtests.REFix3\" \"type\" \"[Aspect3c]\") (\"damp.ekeko.aspectj.annotationtests.REFix4\" \"label\" \"[Label4b]\") (\"damp.ekeko.aspectj.annotationtests.REFix1\" \"label\" \"[Label1]\") (\"damp.ekeko.aspectj.annotationtests.REFix4\" \"type\" \"[Aspect4c]\") (\"damp.ekeko.aspectj.annotationtests.REFix2\" \"type\" \"[Aspect2]\") (\"damp.ekeko.aspectj.annotationtests.REFix3\" \"label\" \"[Label3b Label3c]\")}"))

(deftest test-annotation-oneOf
  (test/tuples-correspond

      (l/all
        (world/type-packageName ?type "damp.ekeko.aspectj.annotationtests")
        (annotations/oneOfing|type-key-val ?type ?key ?val)))
    "#{(\"damp.ekeko.aspectj.annotationtests.OOFix1\" \"type\" \"[\\\"Aspect1a\\\" \\\"Aspect1b\\\"]\") (\"damp.ekeko.aspectj.annotationtests.OOFix2\" \"label\" \"[\\\"Label2a\\\" \\\"Label2b\\\"]\") (\"damp.ekeko.aspectj.annotationtests.OOFix3\" \"type\" \"[\\\"Aspect3a\\\" \\\"Aspect3b\\\"]\") (\"damp.ekeko.aspectj.annotationtests.OOFix3\" \"label\" \"[\\\"Label3a\\\" \\\"Label3b\\\"]\")}"))

(deftest test-annotation-requiresPrevious
  (test/tuples-correspond
    (damp.ekeko/ekeko [?beh ?val] (annotations/reqPrev|behavior-val ?beh ?val))
"#{(\"void damp.ekeko.aspectj.annotationtests.REPFix2.ajc$around$damp_ekeko_aspectj_annotationtests_REPFix2$3$8598ac45(org.aspectj.runtime.internal.AroundClosure)\" \"[\\\"Label2Rf\\\" \\\"Label2Rg\\\"]\") (\"void damp.ekeko.aspectj.annasstests.PrevFix2.ajc$before$damp_ekeko_aspectj_annasstests_PrevFix2$1$36c63601()\" \"[\\\"beforecompute\\\"]\") (\"void damp.ekeko.aspectj.annasstests.PrevFix2.ajc$after$damp_ekeko_aspectj_annasstests_PrevFix2$3$36c63601()\" \"[\\\"preparing\\\"]\") (\"void damp.ekeko.aspectj.annasstests.PrevFix.ajc$before$damp_ekeko_aspectj_annasstests_PrevFix$1$36c63601()\" \"[\\\"thinking\\\"]\") (\"void damp.ekeko.aspectj.annasstests.PrevFix2.ajc$after$damp_ekeko_aspectj_annasstests_PrevFix2$2$36c63601()\" \"[\\\"beforecompute\\\"]\") (\"void damp.ekeko.aspectj.annasstests.PrevFix.ajc$around$damp_ekeko_aspectj_annasstests_PrevFix$3$592dcb64(org.aspectj.runtime.internal.AroundClosure)\" \"[\\\"executing\\\"]\") (\"void damp.ekeko.aspectj.annasstests.PrevFix2.ajc$after$damp_ekeko_aspectj_annasstests_PrevFix2$4$74faf45e()\" \"[\\\"beforecompute\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix2.methoda()\" \"[\\\"Label2Rc\\\" \\\"Label2Rd\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix2.ajc$before$damp_ekeko_aspectj_annotationtests_REPFix2$1$8598ac45()\" \"[\\\"Label2Re\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix1.methoda()\" \"[\\\"Label1Rb\\\"]\") (\"void damp.ekeko.aspectj.annasstests.PrevFix.ajc$after$damp_ekeko_aspectj_annasstests_PrevFix$2$74faf45e()\" \"[\\\"executing\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix1.<init>()\" \"[\\\"Label1Ra\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix2.<init>()\" \"[\\\"Label2Ra\\\" \\\"Label2Rb\\\"]\") (\"void damp.ekeko.aspectj.annasstests.PrevFix2.unthink()\" \"[\\\"thinking\\\"]\") (\"void damp.ekeko.aspectj.annasstests.EntryPoint.execute()\" \"[\\\"computing\\\"]\")}"))


(deftest test-annotation-excludesPrevious
  (test/tuples-correspond
    (damp.ekeko/ekeko [?beh ?val] (annotations/exclPrev|behavior-val ?beh ?val))
"#{(\"void damp.ekeko.aspectj.annasstests.PrevFix.ajc$before$damp_ekeko_aspectj_annasstests_PrevFix$1$36c63601()\" \"[\\\"cleaning\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix2.ajc$around$damp_ekeko_aspectj_annotationtests_REPFix2$3$8598ac45(org.aspectj.runtime.internal.AroundClosure)\" \"[\\\"Label2Ef\\\" \\\"Label2Eg\\\"]\") (\"void damp.ekeko.aspectj.annasstests.PrevFix.ajc$after$damp_ekeko_aspectj_annasstests_PrevFix$2$74faf45e()\" \"[\\\"thinking\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix2.methodb()\" \"[\\\"Label2Ec\\\" \\\"Label2Ed\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix2.ajc$after$damp_ekeko_aspectj_annotationtests_REPFix2$2$8598ac45()\" \"[\\\"Label2Ee\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix1.methodb()\" \"[\\\"Label1Eb\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix2.<init>()\" \"[\\\"Label2Ea\\\" \\\"Label2Eb\\\"]\") (\"void damp.ekeko.aspectj.annotationtests.REPFix1.<init>(int)\" \"[\\\"Label1Ea\\\"]\") (\"void damp.ekeko.aspectj.annasstests.PrevFix.ajc$around$damp_ekeko_aspectj_annasstests_PrevFix$3$592dcb64(org.aspectj.runtime.internal.AroundClosure)\" \"[\\\"simulating\\\"]\")}"))
(deftest test-logic-requires
  (test/tuples-correspond
    (damp.ekeko/ekeko [?rqd ?rqs]
