svoid tok_optParLambda(LS tok) {
  jreplace(tok, "optParLambda1 <id>", "toIF1(optPar $2(_, lambda1 $2))");
}