fix: modified link will not participate in propagation

Author: shigma

xll/src/main/java/edu/pku/code2graph/xll/Link.java

@@ -6,6 +6,7 @@ public final class Link extends LinkBase<URI> {
  public final Capture input;
  public final Capture output;
  public final Rule rule;
+ public boolean modified = false;
 
  public Link(final URI def, final URI use, final Rule rule, final Capture input, final Capture output) {
  super(def, use, rule.name, rule.hidden);

xll/src/main/java/edu/pku/code2graph/xll/Project.java

@@ -89,17 +89,20 @@ private URI infer(URI oldUri, URI newUri, URI contra, URIPattern cis, URIPattern
  public void rename(URI oldUri, URI newUri, Map<URI, Set<URI>> changes) {
  if (!changes.computeIfAbsent(oldUri, k -> new HashSet<>()).add(newUri)) return;
  for (Link link : links) {
+ if (link.modified) continue;
  if (link.def.equals(oldUri)) {
  URI contra = link.use;
  URI result = infer(oldUri, newUri, contra, link.rule.def, link.rule.use, link.input);
  if (result == null) continue;
  link.use = result;
+ link.modified = true;
  rename(contra, result, changes);
  } else if (link.use.equals(oldUri)) {
  URI contra = link.def;
  URI result = infer(oldUri, newUri, contra, link.rule.use, link.rule.def, link.input);
  if (result == null) continue;
  link.def = result;
+ link.modified = true;
  rename(contra, result, changes);
  }
  }