{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"acc.push(mk_lt_hint(amp,"}]}
                        acc.push(mk_lt_hint(amp, output_lt.to_string()));
                        is_trivial = false;
                    }