sS dm_gazelle_findRuleForStatementCondition(S s) {
  for (T3<S> t : dm_gazelle_allRulesWithComment("in = statement")) {
    PairS p = splitAtDoubleArrow_pair(t.a);
    if (p == null) continue with print("dm_gazelle_findRuleForStatementCondition skipping: " + t.a);
    if (eqic(p.a, s))
      ret t.c;
  }
  null;
}