{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"predefined_opaques_in_body:"}]}
                predefined_opaques_in_body: self
                goal,
                    .cx()