static L<ParseResult1> parseResultsSortedByNumberOfAssumptions(Collection<ParseResult1> l) {
  ret parseResultsByNumberOfAssumptions(l);
}