// returns warnings
static LS gazelle_autoTestRule(S ruleID, O... _) {
  LS comments = gazelle_ruleComments(ruleID);
  new LS warnings;
  
  for (Matches m : getJMatches_all("var * should be in list *", comments)) {
    S var = $1, list = $2;
    if (!mechCISetContains(list, var))
      warnings.add(quote(var) + " is not in list " + quote(list));
  }
  
  ret warnings;
}