@Override public TypedAST cloneWithChildren(Map<String, TypedAST> newChildren) { List<TypedAST> result = new ArrayList<>(newChildren.size()); for (int i = 0; i < newChildren.size(); i++) { result.add(newChildren.get(i + "")); } return new Sequence(result); }