{"ast_node_type":"variable","tokens":[{"end":79,"kind":"keyword","start":0,"text":"let"}]}
                let VarValue::Value(a_region) = *var_values.value(a_vid) else {
            constraints[vid].retain(|&(a_vid, b_vid)| {
                    return false;