sS gazelle_matchedRuleStructFromReasoningForLine(O reasoningForLine) {
  O tree = getOpt(reasoningForLine, 'tree);
  O matchedRule = getOpt(tree, 'mr);
  ret structOrNull(matchedRule);
}