       (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]\")}"))
+    "#{(\"damp.ekeko.aspectj.annotationtests.REFix2\" \"type\" \"[\\\"Aspect2\\\"]\") (\"damp.ekeko.aspectj.annotationtests.REFix3\" \"type\" \"[\\\"Aspect3c\\\"]\") (\"damp.ekeko.aspectj.annotationtests.REFix1\" \"label\" \"[\\\"Label1\\\"]\") (\"damp.ekeko.aspectj.annotationtests.REFix3\" \"label\" \"[\\\"Label3b\\\" \\\"Label3c\\\"]\") (\"damp.ekeko.aspectj.annotationtests.REFix4\" \"label\" \"[\\\"Label4b\\\"]\") (\"damp.ekeko.aspectj.annotationtests.REFix4\" \"type\" \"[\\\"Aspect4c\\\"]\")}"))
 
 (deftest test-annotation-oneOf
   (test/tuples-correspond

      (l/all
        (world/type-packageName ?type "damp.ekeko.aspectj.annotationtests")
        (annotations/labeled|pointcut-label|val ?type ?ann)))
    "#{(\"pointcut damp.ekeko.aspectj.annotationtests.LaFix2.barCall()\" \"[PCLabel2]\")}"))

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

      (l/all
        (world/type-packageName ?type "damp.ekeko.aspectj.annotationtests")
        (annotations/requiring|type-key-val ?type ?key ?val)))
    "#{(\"damp.ekeko.aspectj.annotationtests.REFix3\" \"label\" \"[\\\"Label3a\\\"]\") (\"damp.ekeko.aspectj.annotationtests.REFix1\" \"type\" \"[\\\"Aspect1\\\"]\") (\"damp.ekeko.aspectj.annotationtests.REFix3\" \"type\" \"[\\\"Aspect3a\\\" \\\"Aspect3b\\\"]\") (\"damp.ekeko.aspectj.annotationtests.REFix2\" \"label\" \"[\\\"Label2\\\"]\") (\"damp.ekeko.aspectj.annotationtests.REFix4\" \"label\" \"[\\\"Label4a\\\"]\") (\"damp.ekeko.aspectj.annotationtests.REFix4\" \"type\" \"[\\\"Aspect4a\\\" \\\"Aspect4b\\\"]\")}"))

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