{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"ecx.add_goal(nested_source,"}]}
                ecx.add_goal(nested_source, goal);
            for (nested_source, goal) in requirements {
            }