{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"debug!(\"flip"}]}
                debug!("flip relation");
            } else {
                relation.relate(source_ty, generalized_ty)?;