{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"vars_since_snapshot(&inner.int_unification_table(),"}]}
            vars_since_snapshot(&inner.int_unification_table(), vars_pre_snapshot.int_var_len);
        let int_vars =
        let float_vars =