sbool moreThanOneToken(S s) {
  Producer<S> it = javaTokC_producer(s);
  if (it! == null) false;
  ret it! != null;
}

sbool moreThanOneToken(LS tok) {
  ret l(tok) > 3;
}