{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"reached_fixpoint"}]}
                            reached_fixpoint = false;
                            has_new_params = true;
                        }