{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"elaborate::elaborate(cx,"}]}
                    elaborate::elaborate(cx, [predicate])
                    GoalSource::Misc,
                        .skip(1)