{"name":"","children":[{"name":"x","children":[{"name":"call","children":[{"name":"return","children":[],"capabilities":[{"op":"open_","target":"","next":{"op":"in","target":"x","next":null}}],"create":[]}],"capabilities":[{"op":"out","target":"x","next":{"op":"in","target":"y","next":{"op":"open_","target":"","next":null}}}],"create":[]}],"capabilities":[{"op":"out_","target":"call","next":{"op":"in_","target":"y","next":null}}],"create":[]},{"name":"y","children":[],"capabilities":[{"op":"in_","target":"call","next":{"op":"open","target":"call","next":{"op":"open","target":"return","next":null}}}],"create":[]}],"capabilities":[],"create":[]}