sclass AGIBlue_MatchedRule {
  AGIBlue_Rule rule;
  SS map;
  
  *() {}
  *(AGIBlue_Rule *rule, SS *map) {}
  
  [stdToString]
  
  S rewrittenRHS() { ret gazelle_deepReplaceVars(map, rule.rhs); }
}