static S ai_renderMatchesAndAssumptions(ParseResult1 p) {
  new Map<S, Int> map;
  for (PairS m : p.matches)
    map.put(ai_renderMatch(ll(m)), indexOf(p.pat, m.a));
  for (PairS m : p.assumptions)
    map.put(ai_renderMatchWithQuestionMarks(ll(m)), indexOf(p.pat, m.a));
  ret join(" & ", keysSortedByValues(map));
}