{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"origin,"}]}
                            origin, sub_vid, sub_region, c.sup
                            "region error at {:?}: cannot verify that {:?}={:?} <= {:?}",
                        );