syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// Update the cycle heads of a goal at depth `this` given the cycle heads
context_after:     /// of a nested goal. This merges the heads after filtering the parent goal