{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"ConstantTerm(c1)"}]}
            ConstantTerm(c1) => write!(f, "{c1:?}"),
        match *self {
            TransformTerm(v1, v2) => write!(f, "({v1:?} \u{00D7} {v2:?})"),