args[i] = traverseOnce(child, casesOrRules, direction, progress, fixedpoint, tr);
hasChanged |= tr.changed;
hasMatched |= tr.matched;
}
if (kwParams != null) {
IWithKeywordParameters<? extends INode> nodeKw = node.asWithKeywordParameters();
for (String kwName : nodeKw.getParameterNames()) {
IValue val = nodeKw.getParameter(kwName);
tr.changed = false;
tr.matched = false;
IValue newVal = traverseOnce(val, casesOrRules, direction, progress, fixedpoint, tr);