C++: Add up/downgrade scripts

Author: igfoo

cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/in_trap.ql

@@ -0,0 +1,18 @@
+
+class Element extends @element {
+  string toString() { none() }
+}
+
+class Trap extends @trap {
+  string toString() { none() }
+}
+
+class Tag extends @tag {
+  string toString() { none() }
+}
+
+from Element e, Trap trap
+where in_trap_or_tag(e, trap)
+   or exists(Tag tag | in_trap_or_tag(e, tag) and
+                       trap_uses_tag(trap, tag))
+select e, trap