java.util.List<IMatchingResult> kids = new java.util.ArrayList<IMatchingResult>(args.size());
for (int i = 0; i < args.size(); i+=2) { // skip layout elements for efficiency
kids.add(args.get(i).buildMatcher(eval));
}
return new ConcreteApplicationPattern(eval, this, kids);
}