1 // dependency information for
2 // testabstract from sEXT2
7 8: delayed 1 2 3 4 5 11
36 a. if quantifiers are empty than rule has no dependencies
37 b. if not ( x in Set ) or relation than dependent on everything that
38 touches the Set or Relation (also known as delayed).
39 c. otherwise, if set or relation mentioned in quantifier, edge between
40 that rule and any rule who modifies that set or relation (in the
41 inclusion constraint portion of any rule)
44 // dependency information betweeen constraints and rules
77 a. if quantifier mentions a set, include all rules that touch that set
78 or its subsets/partitions
79 b. if the body mentions a set or relation, add that an edge to any rule
80 that touches those sets or relations