static int tok_countDoubleArrowsAndThens(S s) {
  ret tok_countDoubleArrowsAndThens(javaTok(s));
}

static int tok_countDoubleArrowsAndThens(L<S> tok) {
  ret tok_countDoubleArrows(tok) + countOccurrencesIC(tok, "then");
}