// predicates: L<F1<S, Bool>>
s groupTokenPredicateSequence(LS tok, L predicates) {

  for (int idx : indicesOfTokenPredicateSequence(tok, predicates)) {
  
}