aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem
diff options
context:
space:
mode:
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem')
-rw-r--r--Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem1114
1 files changed, 1114 insertions, 0 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem b/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem
new file mode 100644
index 00000000..96543fe1
--- /dev/null
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/generation.logicproblem
@@ -0,0 +1,1114 @@
1<?xml version="1.0" encoding="ASCII"?>
2<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation">
3 <types xsi:type="language_1:TypeDeclaration" name="User class"/>
4 <types xsi:type="language_1:TypeDeclaration" name="Project class" subtypes="//@types.7 //@types.8" isAbstract="true"/>
5 <types xsi:type="language_1:TypeDeclaration" name="Commit class"/>
6 <types xsi:type="language_1:TypeDeclaration" name="Issue class"/>
7 <types xsi:type="language_1:TypeDeclaration" name="PullRequest class"/>
8 <types xsi:type="language_1:TypeDeclaration" name="IssueEvent class"/>
9 <types xsi:type="language_1:TypeDefinition" name="Action enum" elements="//@elements.0 //@elements.1 //@elements.2 //@elements.3 //@elements.4 //@elements.5 //@elements.6 //@elements.7 //@elements.8 //@elements.9 //@elements.10"/>
10 <types xsi:type="language_1:TypeDefinition" name="Project class DefinedPart" supertypes="//@types.1" elements="//@elements.11"/>
11 <types xsi:type="language_1:TypeDeclaration" name="Project class UndefinedPart" supertypes="//@types.1"/>
12 <assertions name="lowerMultiplicity committer Commit" annotations="//@annotations.0">
13 <value xsi:type="language_1:Forall">
14 <quantifiedVariables name="src">
15 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
16 </quantifiedVariables>
17 <expression xsi:type="language_1:Exists">
18 <quantifiedVariables name="trg 1">
19 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
20 </quantifiedVariables>
21 <expression xsi:type="language_1:And">
22 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
23 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/>
24 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/>
25 </operands>
26 </expression>
27 </expression>
28 </value>
29 </assertions>
30 <assertions name="upperMultiplicity committer Commit" annotations="//@annotations.1">
31 <value xsi:type="language_1:Forall">
32 <quantifiedVariables name="src">
33 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
34 </quantifiedVariables>
35 <quantifiedVariables name="trg 1">
36 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
37 </quantifiedVariables>
38 <quantifiedVariables name="trg 2">
39 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
40 </quantifiedVariables>
41 <expression xsi:type="language_1:Impl">
42 <leftOperand xsi:type="language_1:And">
43 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
44 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
45 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/>
46 </operands>
47 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
48 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
49 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/>
50 </operands>
51 </leftOperand>
52 <rightOperand xsi:type="language_1:Not">
53 <operand xsi:type="language_1:Distinct">
54 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/>
55 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/>
56 </operand>
57 </rightOperand>
58 </expression>
59 </value>
60 </assertions>
61 <assertions name="upperMultiplicity parents Commit" annotations="//@annotations.2">
62 <value xsi:type="language_1:Forall">
63 <quantifiedVariables name="src">
64 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
65 </quantifiedVariables>
66 <quantifiedVariables name="trg 1">
67 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
68 </quantifiedVariables>
69 <quantifiedVariables name="trg 2">
70 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
71 </quantifiedVariables>
72 <quantifiedVariables name="trg 3">
73 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
74 </quantifiedVariables>
75 <expression xsi:type="language_1:Impl">
76 <leftOperand xsi:type="language_1:And">
77 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
78 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
79 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/>
80 </operands>
81 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
82 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
83 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/>
84 </operands>
85 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
86 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
87 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.3"/>
88 </operands>
89 </leftOperand>
90 <rightOperand xsi:type="language_1:Not">
91 <operand xsi:type="language_1:Distinct">
92 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/>
93 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/>
94 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.3"/>
95 </operand>
96 </rightOperand>
97 </expression>
98 </value>
99 </assertions>
100 <assertions name="upperMultiplicity pullrequest Commit" annotations="//@annotations.3">
101 <value xsi:type="language_1:Forall">
102 <quantifiedVariables name="src">
103 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
104 </quantifiedVariables>
105 <quantifiedVariables name="trg 1">
106 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
107 </quantifiedVariables>
108 <quantifiedVariables name="trg 2">
109 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
110 </quantifiedVariables>
111 <expression xsi:type="language_1:Impl">
112 <leftOperand xsi:type="language_1:And">
113 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
114 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
115 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/>
116 </operands>
117 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
118 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
119 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/>
120 </operands>
121 </leftOperand>
122 <rightOperand xsi:type="language_1:Not">
123 <operand xsi:type="language_1:Distinct">
124 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/>
125 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/>
126 </operand>
127 </rightOperand>
128 </expression>
129 </value>
130 </assertions>
131 <assertions name="upperMultiplicity pullrequest Issue" annotations="//@annotations.4">
132 <value xsi:type="language_1:Forall">
133 <quantifiedVariables name="src">
134 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
135 </quantifiedVariables>
136 <quantifiedVariables name="trg 1">
137 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
138 </quantifiedVariables>
139 <quantifiedVariables name="trg 2">
140 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
141 </quantifiedVariables>
142 <expression xsi:type="language_1:Impl">
143 <leftOperand xsi:type="language_1:And">
144 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
145 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/>
146 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/>
147 </operands>
148 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
149 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/>
150 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/>
151 </operands>
152 </leftOperand>
153 <rightOperand xsi:type="language_1:Not">
154 <operand xsi:type="language_1:Distinct">
155 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/>
156 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/>
157 </operand>
158 </rightOperand>
159 </expression>
160 </value>
161 </assertions>
162 <assertions name="upperMultiplicity commit PullRequest" annotations="//@annotations.5">
163 <value xsi:type="language_1:Forall">
164 <quantifiedVariables name="src">
165 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
166 </quantifiedVariables>
167 <quantifiedVariables name="trg 1">
168 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
169 </quantifiedVariables>
170 <quantifiedVariables name="trg 2">
171 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
172 </quantifiedVariables>
173 <expression xsi:type="language_1:Impl">
174 <leftOperand xsi:type="language_1:And">
175 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
176 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
177 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
178 </operands>
179 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
180 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
181 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/>
182 </operands>
183 </leftOperand>
184 <rightOperand xsi:type="language_1:Not">
185 <operand xsi:type="language_1:Distinct">
186 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
187 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/>
188 </operand>
189 </rightOperand>
190 </expression>
191 </value>
192 </assertions>
193 <assertions name="lowerMultiplicity user IssueEvent" annotations="//@annotations.6">
194 <value xsi:type="language_1:Forall">
195 <quantifiedVariables name="src">
196 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
197 </quantifiedVariables>
198 <expression xsi:type="language_1:Exists">
199 <quantifiedVariables name="trg 1">
200 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
201 </quantifiedVariables>
202 <expression xsi:type="language_1:And">
203 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
204 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/>
205 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@expression/@quantifiedVariables.0"/>
206 </operands>
207 </expression>
208 </expression>
209 </value>
210 </assertions>
211 <assertions name="upperMultiplicity user IssueEvent" annotations="//@annotations.7">
212 <value xsi:type="language_1:Forall">
213 <quantifiedVariables name="src">
214 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
215 </quantifiedVariables>
216 <quantifiedVariables name="trg 1">
217 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
218 </quantifiedVariables>
219 <quantifiedVariables name="trg 2">
220 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
221 </quantifiedVariables>
222 <expression xsi:type="language_1:Impl">
223 <leftOperand xsi:type="language_1:And">
224 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
225 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/>
226 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/>
227 </operands>
228 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
229 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/>
230 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/>
231 </operands>
232 </leftOperand>
233 <rightOperand xsi:type="language_1:Not">
234 <operand xsi:type="language_1:Distinct">
235 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/>
236 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/>
237 </operand>
238 </rightOperand>
239 </expression>
240 </value>
241 </assertions>
242 <assertions name="oppositeReference pullrequest Commit" annotations="//@annotations.8">
243 <value xsi:type="language_1:Forall">
244 <quantifiedVariables name="src">
245 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
246 </quantifiedVariables>
247 <quantifiedVariables name="trg">
248 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
249 </quantifiedVariables>
250 <expression xsi:type="language_1:Iff">
251 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
252 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
253 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/>
254 </leftOperand>
255 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
256 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/>
257 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
258 </rightOperand>
259 </expression>
260 </value>
261 </assertions>
262 <assertions name="lowerMultiplicity action IssueEvent" annotations="//@annotations.9">
263 <value xsi:type="language_1:Forall">
264 <quantifiedVariables name="src">
265 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
266 </quantifiedVariables>
267 <expression xsi:type="language_1:Exists">
268 <quantifiedVariables name="trg 1">
269 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
270 </quantifiedVariables>
271 <expression xsi:type="language_1:And">
272 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
273 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
274 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@expression/@quantifiedVariables.0"/>
275 </operands>
276 </expression>
277 </expression>
278 </value>
279 </assertions>
280 <assertions name="upperMultiplicity action IssueEvent" annotations="//@annotations.10">
281 <value xsi:type="language_1:Forall">
282 <quantifiedVariables name="src">
283 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
284 </quantifiedVariables>
285 <quantifiedVariables name="trg 1">
286 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
287 </quantifiedVariables>
288 <quantifiedVariables name="trg 2">
289 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
290 </quantifiedVariables>
291 <expression xsi:type="language_1:Impl">
292 <leftOperand xsi:type="language_1:And">
293 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
294 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
295 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/>
296 </operands>
297 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
298 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
299 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/>
300 </operands>
301 </leftOperand>
302 <rightOperand xsi:type="language_1:Not">
303 <operand xsi:type="language_1:Distinct">
304 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/>
305 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/>
306 </operand>
307 </rightOperand>
308 </expression>
309 </value>
310 </assertions>
311 <assertions name="errorpattern queries loopInParent" annotations="//@annotations.27">
312 <value xsi:type="language_1:Forall">
313 <quantifiedVariables name="p0">
314 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
315 </quantifiedVariables>
316 <expression xsi:type="language_1:Not">
317 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
318 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
319 </operand>
320 </expression>
321 </value>
322 </assertions>
323 <assertions name="errorpattern queries consecutiveClosesWithoutReopen" annotations="//@annotations.28">
324 <value xsi:type="language_1:Forall">
325 <quantifiedVariables name="p0">
326 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
327 </quantifiedVariables>
328 <expression xsi:type="language_1:Not">
329 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
330 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
331 </operand>
332 </expression>
333 </value>
334 </assertions>
335 <assertions name="errorpattern queries consecutiveReopensWithoutClose" annotations="//@annotations.29">
336 <value xsi:type="language_1:Forall">
337 <quantifiedVariables name="p0">
338 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
339 </quantifiedVariables>
340 <expression xsi:type="language_1:Not">
341 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
342 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
343 </operand>
344 </expression>
345 </value>
346 </assertions>
347 <assertions name="errorpattern queries consecutiveSubWithoutUnSub" annotations="//@annotations.30">
348 <value xsi:type="language_1:Forall">
349 <quantifiedVariables name="p0">
350 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
351 </quantifiedVariables>
352 <quantifiedVariables name="p1">
353 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
354 </quantifiedVariables>
355 <expression xsi:type="language_1:Not">
356 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
357 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
358 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/>
359 </operand>
360 </expression>
361 </value>
362 </assertions>
363 <assertions name="errorpattern queries consecutiveUnSubWithoutSub" annotations="//@annotations.31">
364 <value xsi:type="language_1:Forall">
365 <quantifiedVariables name="p0">
366 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
367 </quantifiedVariables>
368 <quantifiedVariables name="p1">
369 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
370 </quantifiedVariables>
371 <expression xsi:type="language_1:Not">
372 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
373 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
374 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
375 </operand>
376 </expression>
377 </value>
378 </assertions>
379 <assertions name="errorpattern queries noCommitter" annotations="//@annotations.32">
380 <value xsi:type="language_1:Forall">
381 <quantifiedVariables name="p0">
382 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
383 </quantifiedVariables>
384 <expression xsi:type="language_1:Not">
385 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25">
386 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/>
387 </operand>
388 </expression>
389 </value>
390 </assertions>
391 <assertions name="errorpattern queries noUser" annotations="//@annotations.33">
392 <value xsi:type="language_1:Forall">
393 <quantifiedVariables name="p0">
394 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
395 </quantifiedVariables>
396 <expression xsi:type="language_1:Not">
397 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26">
398 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
399 </operand>
400 </expression>
401 </value>
402 </assertions>
403 <relations xsi:type="language_1:RelationDeclaration" name="issue reference Project">
404 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
405 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
406 </relations>
407 <relations xsi:type="language_1:RelationDeclaration" name="projectMembers reference Project">
408 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
409 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
410 </relations>
411 <relations xsi:type="language_1:RelationDeclaration" name="commits reference Project">
412 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
413 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
414 </relations>
415 <relations xsi:type="language_1:RelationDeclaration" name="committer reference Commit">
416 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
417 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
418 </relations>
419 <relations xsi:type="language_1:RelationDeclaration" name="parents reference Commit">
420 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
421 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
422 </relations>
423 <relations xsi:type="language_1:RelationDeclaration" name="pullrequest reference Commit">
424 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
425 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
426 </relations>
427 <relations xsi:type="language_1:RelationDeclaration" name="pullrequest reference Issue">
428 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
429 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
430 </relations>
431 <relations xsi:type="language_1:RelationDeclaration" name="issueevent reference Issue">
432 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
433 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
434 </relations>
435 <relations xsi:type="language_1:RelationDeclaration" name="commit reference PullRequest">
436 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
437 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
438 </relations>
439 <relations xsi:type="language_1:RelationDeclaration" name="user reference IssueEvent">
440 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
441 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
442 </relations>
443 <relations xsi:type="language_1:RelationDeclaration" name="action attribute IssueEvent">
444 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
445 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
446 </relations>
447 <relations xsi:type="language_1:RelationDefinition" name="pattern queries directParent" annotations="//@annotations.11">
448 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
449 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
450 <variables name="parameter a">
451 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
452 </variables>
453 <variables name="parameter b">
454 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
455 </variables>
456 <value xsi:type="language_1:Or">
457 <operands xsi:type="language_1:And">
458 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
459 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
460 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.1"/>
461 </operands>
462 <operands xsi:type="language_1:InstanceOf">
463 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.1"/>
464 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
465 </operands>
466 </operands>
467 </value>
468 </relations>
469 <relations xsi:type="language_1:RelationDefinition" name="pattern queries loopInParent" annotations="//@annotations.12">
470 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
471 <variables name="parameter a">
472 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
473 </variables>
474 <value xsi:type="language_1:Or">
475 <operands xsi:type="language_1:And">
476 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.11">
477 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
478 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
479 </operands>
480 </operands>
481 </value>
482 </relations>
483 <relations xsi:type="language_1:RelationDefinition" name="pattern queries checkAction" annotations="//@annotations.13">
484 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
485 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
486 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
487 <variables name="parameter i">
488 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
489 </variables>
490 <variables name="parameter e">
491 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
492 </variables>
493 <variables name="parameter t">
494 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
495 </variables>
496 <value xsi:type="language_1:Or">
497 <operands xsi:type="language_1:And">
498 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
499 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
500 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
501 </operands>
502 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
503 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
504 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.2"/>
505 </operands>
506 </operands>
507 </value>
508 </relations>
509 <relations xsi:type="language_1:RelationDefinition" name="pattern queries checkUserAction" annotations="//@annotations.14">
510 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
511 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
512 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
513 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
514 <variables name="parameter i">
515 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
516 </variables>
517 <variables name="parameter u">
518 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
519 </variables>
520 <variables name="parameter e">
521 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
522 </variables>
523 <variables name="parameter t">
524 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
525 </variables>
526 <value xsi:type="language_1:Or">
527 <operands xsi:type="language_1:And">
528 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
529 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
530 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.2"/>
531 </operands>
532 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
533 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.2"/>
534 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/>
535 </operands>
536 <operands xsi:type="language_1:InstanceOf">
537 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/>
538 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
539 </operands>
540 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
541 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.2"/>
542 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.3"/>
543 </operands>
544 </operands>
545 </value>
546 </relations>
547 <relations xsi:type="language_1:RelationDefinition" name="pattern queries isReopen" annotations="//@annotations.15">
548 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
549 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
550 <variables name="parameter i">
551 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
552 </variables>
553 <variables name="parameter e">
554 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
555 </variables>
556 <value xsi:type="language_1:Or">
557 <operands xsi:type="language_1:Exists">
558 <quantifiedVariables name="variable a">
559 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
560 </quantifiedVariables>
561 <expression xsi:type="language_1:And">
562 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
563 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
564 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>
565 </operands>
566 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
567 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>
568 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
569 </operands>
570 <operands xsi:type="language_1:Equals">
571 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
572 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/>
573 </operands>
574 </expression>
575 </operands>
576 </value>
577 </relations>
578 <relations xsi:type="language_1:RelationDefinition" name="pattern queries isClose" annotations="//@annotations.16">
579 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
580 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
581 <variables name="parameter i">
582 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
583 </variables>
584 <variables name="parameter e">
585 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
586 </variables>
587 <value xsi:type="language_1:Or">
588 <operands xsi:type="language_1:Exists">
589 <quantifiedVariables name="variable a">
590 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
591 </quantifiedVariables>
592 <expression xsi:type="language_1:And">
593 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
594 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
595 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/>
596 </operands>
597 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
598 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/>
599 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/>
600 </operands>
601 <operands xsi:type="language_1:Equals">
602 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/>
603 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
604 </operands>
605 </expression>
606 </operands>
607 </value>
608 </relations>
609 <relations xsi:type="language_1:RelationDefinition" name="pattern queries isUnSubscribe" annotations="//@annotations.17">
610 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
611 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
612 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
613 <variables name="parameter i">
614 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
615 </variables>
616 <variables name="parameter u">
617 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
618 </variables>
619 <variables name="parameter e">
620 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
621 </variables>
622 <value xsi:type="language_1:Or">
623 <operands xsi:type="language_1:Exists">
624 <quantifiedVariables name="variable a">
625 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
626 </quantifiedVariables>
627 <expression xsi:type="language_1:And">
628 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
629 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
630 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.2"/>
631 </operands>
632 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
633 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.2"/>
634 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>
635 </operands>
636 <operands xsi:type="language_1:InstanceOf">
637 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>
638 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
639 </operands>
640 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
641 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.2"/>
642 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
643 </operands>
644 <operands xsi:type="language_1:Equals">
645 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
646 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/>
647 </operands>
648 </expression>
649 </operands>
650 </value>
651 </relations>
652 <relations xsi:type="language_1:RelationDefinition" name="pattern queries isSubscribe" annotations="//@annotations.18">
653 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
654 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
655 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
656 <variables name="parameter i">
657 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
658 </variables>
659 <variables name="parameter u">
660 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
661 </variables>
662 <variables name="parameter e">
663 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
664 </variables>
665 <value xsi:type="language_1:Or">
666 <operands xsi:type="language_1:Exists">
667 <quantifiedVariables name="variable a">
668 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
669 </quantifiedVariables>
670 <expression xsi:type="language_1:And">
671 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
672 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
673 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.2"/>
674 </operands>
675 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
676 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.2"/>
677 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
678 </operands>
679 <operands xsi:type="language_1:InstanceOf">
680 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
681 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
682 </operands>
683 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
684 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.2"/>
685 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/>
686 </operands>
687 <operands xsi:type="language_1:Equals">
688 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/>
689 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
690 </operands>
691 </expression>
692 </operands>
693 </value>
694 </relations>
695 <relations xsi:type="language_1:RelationDefinition" name="pattern queries consecutiveClosesWithoutReopen" annotations="//@annotations.19">
696 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
697 <variables name="parameter i">
698 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
699 </variables>
700 <value xsi:type="language_1:Or">
701 <operands xsi:type="language_1:Exists">
702 <quantifiedVariables name="variable a1">
703 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
704 </quantifiedVariables>
705 <quantifiedVariables name="variable a2">
706 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
707 </quantifiedVariables>
708 <quantifiedVariables name="variable virtual0">
709 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
710 </quantifiedVariables>
711 <quantifiedVariables name="variable virtual1">
712 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
713 </quantifiedVariables>
714 <expression xsi:type="language_1:Forall">
715 <quantifiedVariables name="variable 0">
716 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
717 </quantifiedVariables>
718 <expression xsi:type="language_1:And">
719 <operands xsi:type="language_1:Equals">
720 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/>
721 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
722 </operands>
723 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
724 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
725 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/>
726 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/>
727 </operands>
728 <operands xsi:type="language_1:Equals">
729 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.3"/>
730 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
731 </operands>
732 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
733 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
734 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/>
735 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.3"/>
736 </operands>
737 <operands xsi:type="language_1:Distinct">
738 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/>
739 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/>
740 </operands>
741 <operands xsi:type="language_1:Not">
742 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
743 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
744 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@expression/@quantifiedVariables.0"/>
745 </operand>
746 </operands>
747 </expression>
748 </expression>
749 </operands>
750 </value>
751 </relations>
752 <relations xsi:type="language_1:RelationDefinition" name="pattern queries consecutiveReopensWithoutClose" annotations="//@annotations.20">
753 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
754 <variables name="parameter i">
755 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
756 </variables>
757 <value xsi:type="language_1:Or">
758 <operands xsi:type="language_1:Exists">
759 <quantifiedVariables name="variable a1">
760 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
761 </quantifiedVariables>
762 <quantifiedVariables name="variable a2">
763 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
764 </quantifiedVariables>
765 <quantifiedVariables name="variable virtual0">
766 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
767 </quantifiedVariables>
768 <quantifiedVariables name="variable virtual1">
769 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
770 </quantifiedVariables>
771 <expression xsi:type="language_1:Forall">
772 <quantifiedVariables name="variable 0">
773 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
774 </quantifiedVariables>
775 <expression xsi:type="language_1:And">
776 <operands xsi:type="language_1:Equals">
777 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.2"/>
778 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/>
779 </operands>
780 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
781 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
782 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
783 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.2"/>
784 </operands>
785 <operands xsi:type="language_1:Equals">
786 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.3"/>
787 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/>
788 </operands>
789 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
790 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
791 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
792 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.3"/>
793 </operands>
794 <operands xsi:type="language_1:Distinct">
795 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
796 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
797 </operands>
798 <operands xsi:type="language_1:Not">
799 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16">
800 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
801 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@expression/@quantifiedVariables.0"/>
802 </operand>
803 </operands>
804 </expression>
805 </expression>
806 </operands>
807 </value>
808 </relations>
809 <relations xsi:type="language_1:RelationDefinition" name="pattern queries consecutiveSubWithoutUnSub" annotations="//@annotations.21">
810 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
811 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
812 <variables name="parameter i">
813 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
814 </variables>
815 <variables name="parameter u">
816 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
817 </variables>
818 <value xsi:type="language_1:Or">
819 <operands xsi:type="language_1:Exists">
820 <quantifiedVariables name="variable a1">
821 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
822 </quantifiedVariables>
823 <quantifiedVariables name="variable a2">
824 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
825 </quantifiedVariables>
826 <quantifiedVariables name="variable virtual0">
827 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
828 </quantifiedVariables>
829 <quantifiedVariables name="variable virtual1">
830 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
831 </quantifiedVariables>
832 <expression xsi:type="language_1:Forall">
833 <quantifiedVariables name="variable 0">
834 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
835 </quantifiedVariables>
836 <expression xsi:type="language_1:And">
837 <operands xsi:type="language_1:Equals">
838 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/>
839 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
840 </operands>
841 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
842 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
843 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/>
844 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
845 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/>
846 </operands>
847 <operands xsi:type="language_1:Equals">
848 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.3"/>
849 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
850 </operands>
851 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
852 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
853 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/>
854 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/>
855 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.3"/>
856 </operands>
857 <operands xsi:type="language_1:Distinct">
858 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
859 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/>
860 </operands>
861 <operands xsi:type="language_1:Not">
862 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17">
863 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
864 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/>
865 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@expression/@quantifiedVariables.0"/>
866 </operand>
867 </operands>
868 </expression>
869 </expression>
870 </operands>
871 </value>
872 </relations>
873 <relations xsi:type="language_1:RelationDefinition" name="pattern queries consecutiveUnSubWithoutSub" annotations="//@annotations.22">
874 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
875 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
876 <variables name="parameter i">
877 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
878 </variables>
879 <variables name="parameter u">
880 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
881 </variables>
882 <value xsi:type="language_1:Or">
883 <operands xsi:type="language_1:Exists">
884 <quantifiedVariables name="variable a1">
885 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
886 </quantifiedVariables>
887 <quantifiedVariables name="variable a2">
888 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
889 </quantifiedVariables>
890 <quantifiedVariables name="variable virtual0">
891 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
892 </quantifiedVariables>
893 <quantifiedVariables name="variable virtual1">
894 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
895 </quantifiedVariables>
896 <expression xsi:type="language_1:Forall">
897 <quantifiedVariables name="variable 0">
898 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
899 </quantifiedVariables>
900 <expression xsi:type="language_1:And">
901 <operands xsi:type="language_1:Equals">
902 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
903 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/>
904 </operands>
905 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
906 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
907 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/>
908 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
909 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
910 </operands>
911 <operands xsi:type="language_1:Equals">
912 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.3"/>
913 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/>
914 </operands>
915 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
916 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
917 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/>
918 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
919 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.3"/>
920 </operands>
921 <operands xsi:type="language_1:Distinct">
922 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
923 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
924 </operands>
925 <operands xsi:type="language_1:Not">
926 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
927 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
928 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/>
929 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@expression/@quantifiedVariables.0"/>
930 </operand>
931 </operands>
932 </expression>
933 </expression>
934 </operands>
935 </value>
936 </relations>
937 <relations xsi:type="language_1:RelationDefinition" name="pattern queries committer" annotations="//@annotations.23">
938 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
939 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
940 <variables name="parameter c">
941 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
942 </variables>
943 <variables name="parameter u">
944 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
945 </variables>
946 <value xsi:type="language_1:Or">
947 <operands xsi:type="language_1:And">
948 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
949 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
950 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.1"/>
951 </operands>
952 <operands xsi:type="language_1:InstanceOf">
953 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.1"/>
954 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
955 </operands>
956 </operands>
957 </value>
958 </relations>
959 <relations xsi:type="language_1:RelationDefinition" name="pattern queries eventUser" annotations="//@annotations.24">
960 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
961 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
962 <variables name="parameter e">
963 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
964 </variables>
965 <variables name="parameter u">
966 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
967 </variables>
968 <value xsi:type="language_1:Or">
969 <operands xsi:type="language_1:And">
970 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
971 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/>
972 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/>
973 </operands>
974 <operands xsi:type="language_1:InstanceOf">
975 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/>
976 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
977 </operands>
978 </operands>
979 </value>
980 </relations>
981 <relations xsi:type="language_1:RelationDefinition" name="pattern queries noCommitter" annotations="//@annotations.25">
982 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
983 <variables name="parameter c">
984 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
985 </variables>
986 <value xsi:type="language_1:Or">
987 <operands xsi:type="language_1:Forall">
988 <quantifiedVariables name="variable 0">
989 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
990 </quantifiedVariables>
991 <expression xsi:type="language_1:And">
992 <operands xsi:type="language_1:InstanceOf">
993 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
994 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
995 </operands>
996 <operands xsi:type="language_1:Not">
997 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
998 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
999 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1000 </operand>
1001 </operands>
1002 </expression>
1003 </operands>
1004 </value>
1005 </relations>
1006 <relations xsi:type="language_1:RelationDefinition" name="pattern queries noUser" annotations="//@annotations.26">
1007 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1008 <variables name="parameter e">
1009 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1010 </variables>
1011 <value xsi:type="language_1:Or">
1012 <operands xsi:type="language_1:Forall">
1013 <quantifiedVariables name="variable 0">
1014 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1015 </quantifiedVariables>
1016 <expression xsi:type="language_1:And">
1017 <operands xsi:type="language_1:InstanceOf">
1018 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
1019 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1020 </operands>
1021 <operands xsi:type="language_1:Not">
1022 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
1023 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
1024 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
1025 </operand>
1026 </operands>
1027 </expression>
1028 </operands>
1029 </value>
1030 </relations>
1031 <elements name="SUBSCRIBED literal Action" definedInType="//@types.6"/>
1032 <elements name="MENTIONED literal Action" definedInType="//@types.6"/>
1033 <elements name="CLOSED literal Action" definedInType="//@types.6"/>
1034 <elements name="REFERENCED literal Action" definedInType="//@types.6"/>
1035 <elements name="ASSIGNED literal Action" definedInType="//@types.6"/>
1036 <elements name="REOPENED literal Action" definedInType="//@types.6"/>
1037 <elements name="UNSUBSCRIBED literal Action" definedInType="//@types.6"/>
1038 <elements name="MERGED literal Action" definedInType="//@types.6"/>
1039 <elements name="HEAD_REF_CLEANED literal Action" definedInType="//@types.6"/>
1040 <elements name="HEAD_REF_DELETED literal Action" definedInType="//@types.6"/>
1041 <elements name="HEAD_REF_RESTORED literal Action" definedInType="//@types.6"/>
1042 <elements name="o 1" definedInType="//@types.7"/>
1043 <containmentHierarchies typesOrderedInHierarchy="//@types.4 //@types.5 //@types.2 //@types.0 //@types.1 //@types.3 //@types.7 //@types.8" containmentRelations="//@relations.0 //@relations.1 //@relations.2 //@relations.6 //@relations.7"/>
1044 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.3" lower="1"/>
1045 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.3" upper="1"/>
1046 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.4" upper="2"/>
1047 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.5" upper="1"/>
1048 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.4" relation="//@relations.6" upper="1"/>
1049 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.8" upper="1"/>
1050 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.6" relation="//@relations.9" lower="1"/>
1051 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.9" upper="1"/>
1052 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.8" inverseA="//@relations.5" inverseB="//@relations.8"/>
1053 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.9" relation="//@relations.10" lower="1"/>
1054 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.10" relation="//@relations.10" upper="1"/>
1055 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="queries.directParent"/>
1056 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="queries.loopInParent"/>
1057 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="queries.checkAction"/>
1058 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="queries.checkUserAction"/>
1059 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="queries.isReopen">
1060 <variableTrace targetLogicVariable="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
1061 </annotations>
1062 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="queries.isClose">
1063 <variableTrace targetLogicVariable="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/>
1064 </annotations>
1065 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="queries.isUnSubscribe">
1066 <variableTrace targetLogicVariable="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
1067 </annotations>
1068 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="queries.isSubscribe">
1069 <variableTrace targetLogicVariable="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/>
1070 </annotations>
1071 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="queries.consecutiveClosesWithoutReopen">
1072 <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/>
1073 <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/>
1074 <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@expression/@quantifiedVariables.0"/>
1075 <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/>
1076 <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.3"/>
1077 </annotations>
1078 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="queries.consecutiveReopensWithoutClose">
1079 <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
1080 <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
1081 <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@expression/@quantifiedVariables.0"/>
1082 <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@quantifiedVariables.2"/>
1083 <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@quantifiedVariables.3"/>
1084 </annotations>
1085 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="queries.consecutiveSubWithoutUnSub">
1086 <variableTrace targetLogicVariable="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
1087 <variableTrace targetLogicVariable="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/>
1088 <variableTrace targetLogicVariable="//@relations.21/@value/@operands.0/@expression/@quantifiedVariables.0"/>
1089 <variableTrace targetLogicVariable="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/>
1090 <variableTrace targetLogicVariable="//@relations.21/@value/@operands.0/@quantifiedVariables.3"/>
1091 </annotations>
1092 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="queries.consecutiveUnSubWithoutSub">
1093 <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1094 <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1095 <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@expression/@quantifiedVariables.0"/>
1096 <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
1097 <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@quantifiedVariables.3"/>
1098 </annotations>
1099 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="queries.committer"/>
1100 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="queries.eventUser"/>
1101 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="queries.noCommitter">
1102 <variableTrace targetLogicVariable="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1103 </annotations>
1104 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="queries.noUser">
1105 <variableTrace targetLogicVariable="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
1106 </annotations>
1107 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.11" query="//@annotations.12"/>
1108 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.12" query="//@annotations.19"/>
1109 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.13" query="//@annotations.20"/>
1110 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.14" query="//@annotations.21"/>
1111 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.15" query="//@annotations.22"/>
1112 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.16" query="//@annotations.25"/>
1113 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.17" query="//@annotations.26"/>
1114</language:LogicProblem>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-22 09:53:20 +0000