{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":".substitute("}]}
                            .substitute(
                            .map(|it| it.map(|it| it.substitution.clone()))
                                Interner,