syntax_data: {"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// Adds the nested goals of a nested goal, given that the path `step_kind` from this goal
context_after:     /// to the parent goal.