static LS gazelle_expandThey(GazelleTree tree) {
  if (!cic(tree.line, "they")) null;
  ret uniquify(map afterEquals_trim(collect line(gazelle_searchTreeUpwardsForDefinitions("they", tree))));
}