{"ast_node_type":"variable","tokens":[{"end":63,"kind":"keyword","start":0,"text":"let"}]}
                    let sub_data = var_data.value_mut(sub_vid);
                    let sub_vid = c.sub.as_var();
                    debug!("contraction: {:?} == {:?}, {:?}", sub_vid, sub_data, c.sup);