scope gazelle_addForbiddenBindingHelpers.

sclass #Blocker {
  S var, value;
  bool debug;
 
  *() {}
  *(S *var, S *value, bool *debug) {}
  
  SS get(SS map, LS tokC, LS tokI, RuleEngine2_MatchedRule matched) {
    if (map == null) null;
    if (eqic(value, map.get(var1))) null;
    ret map;
  }
}

svoid gazelle_addForbiddenBindingHelpers(RuleEngine2 engine, O... _) {
  bool debug = boolPar debug(_) || boolPar forbiddenBindingsDebug(_);
  for (final RuleEngine2.Rule r : engine.rules)
    for (Matches m : getJMatches_all("don't set * to *", r.comments))
      r.addMapMassager(new Blocker($1, $2, debug));
}

end scope