static Pair<S, Bool> gazelle_createRuleForPhrase(S phrase) {
  ret dm_gazelle_addRuleWithComment(phrase + " => phrase", "purpose: phrase");
}