svoid tok_whileGreaterThan(LS tok) {
  int i = -1;
  while ((i = jfind(tok, "while >= <int> (")) >= 0) {
    int iOpening = indexOf(tok, "(", i);
    int iClosing = findEndOfBracketPart(tok, iOpening)-1;
    tokSet_reTok(tok, iClosing, ") >= 0)");
    replaceTokens_reTok(tok, i+2, iOpening+1, "((");
  }
}