static ParseResult1 parseResultWithVerifiedAssumptions(ParseResult1 p, L<PairS> verified) {
  if (empty(verified)) null;
  ret ParseResult1(p.pat, p.input, listPlusList(p.matches, verified), listMinusList(p.assumptions, verified));
}