{
        "type":"Ambient",
        "id":"message",
        "children":[{
                "type":"Parallel",
                "children":[
                        {"type":"Serial","children":[
                                {"type":"In","id":"func", "children": [
                                  {"type":"Open_","id":"*"}
                                ]}
                        ]},
                        {"type":"Ambient","id":"func","children":[{
                                "type":"Parallel","children":[
                                        {"type":"Ambient","id":"x","children":[
                                                {"type":"Serial","children":[
                                                        {"type":"In_","id":"arg", "children": [
                                                        {"type":"Open","id":"arg", "children": [
                                                          {"type":"In","id":"message", "children": [
                                                            {"type":"Open_","id":"*"}
                                                          ]}
                                                        ]}
                                                    ]}
                                                ]}
                                        ]},
                                        {"type":"Ambient","id":"message","children":[
                                                {"type":"Serial","children":[
                                                        {"type":"In_","id":"x", "children": [
                                                          {"type":"Open","id":"x"}
                                                        ]}
                                                ]}
                                        ]},
                                        {"type":"Serial","children":[
                                                {"type":"In_","id":"arg", "children": [
                                                  {"type":"Open_","id":"*"}
                                                ]}
                                        ]}
                                ]}
                        ]}
                ]}]
}