{
  "ver": 1,
  "comp": "inline",
  "step": 1,
  "roots": [
    12
  ],
  "scope": 0,
  "nodes": [
    {
      "id": 1,
      "label": "Parm_arg",
      "type": "int",
      "kind": "PHI",
      "edges": [
        {
          "idx": 0,
          "def": 0,
          "role": "ASSOC",
          "label": null
        },
        {
          "idx": 1,
          "def": 0,
          "role": "DATA",
          "label": null
        }
      ],
      "proj": null
    },
    {
      "id": 2,
      "label": "Con",
      "type": "1",
      "kind": "DATA",
      "edges": [],
      "proj": null
    },
    {
      "id": 3,
      "label": "Con inc",
      "type": "{int -> int}",
      "kind": "DATA",
      "edges": [],
      "proj": null
    },
    {
      "id": 4,
      "label": "Call",
      "type": null,
      "kind": "CTRL",
      "edges": [
        {
          "idx": 0,
          "def": 0,
          "role": "CTRL",
          "label": null
        },
        {
          "idx": 1,
          "def": 0,
          "role": "MEM",
          "label": null
        },
        {
          "idx": 2,
          "def": 1,
          "role": "DATA",
          "label": null
        },
        {
          "idx": 3,
          "def": 3,
          "role": "DATA",
          "label": null
        }
      ],
      "proj": null
    },
    {
      "id": 5,
      "label": "inc",
      "type": null,
      "kind": "FUN",
      "edges": [
        {
          "idx": 0,
          "def": 0,
          "role": "ASSOC",
          "label": null
        },
        {
          "idx": 1,
          "def": 0,
          "role": "CTRL",
          "label": null
        },
        {
          "idx": 2,
          "def": 4,
          "role": "CTRL",
          "label": null
        }
      ],
      "proj": null
    },
    {
      "id": 6,
      "label": "Con",
      "type": "int",
      "kind": "DATA",
      "edges": [],
      "proj": null
    },
    {
      "id": 7,
      "label": "Parm_x",
      "type": "int",
      "kind": "PHI",
      "edges": [
        {
          "idx": 0,
          "def": 5,
          "role": "ASSOC",
          "label": null
        },
        {
          "idx": 1,
          "def": 6,
          "role": "DATA",
          "label": null
        },
        {
          "idx": 2,
          "def": 1,
          "role": "DATA",
          "label": null
        }
      ],
      "proj": null
    },
    {
      "id": 8,
      "label": "Add",
      "type": "int",
      "kind": "DATA",
      "edges": [
        {
          "idx": 0,
          "def": 0,
          "role": "CTRL",
          "label": null
        },
        {
          "idx": 1,
          "def": 7,
          "role": "DATA",
          "label": null
        },
        {
          "idx": 2,
          "def": 2,
          "role": "DATA",
          "label": null
        }
      ],
      "proj": null
    },
    {
      "id": 9,
      "label": "Return inc",
      "type": null,
      "kind": "CTRL",
      "edges": [
        {
          "idx": 0,
          "def": 0,
          "role": "CTRL",
          "label": null
        },
        {
          "idx": 1,
          "def": 0,
          "role": "MEM",
          "label": null
        },
        {
          "idx": 2,
          "def": 8,
          "role": "DATA",
          "label": null
        },
        {
          "idx": 3,
          "def": 0,
          "role": "DATA",
          "label": null
        }
      ],
      "proj": null
    },
    {
      "id": 10,
      "label": "CallEnd",
      "type": null,
      "kind": "CTRL",
      "edges": [
        {
          "idx": 0,
          "def": 4,
          "role": "CTRL",
          "label": null
        },
        {
          "idx": 1,
          "def": 9,
          "role": "DATA",
          "label": null
        }
      ],
      "proj": null
    },
    {
      "id": 11,
      "label": "result",
      "type": "int",
      "kind": "DATA",
      "edges": [
        {
          "idx": 0,
          "def": 10,
          "role": "DATA",
          "label": null
        }
      ],
      "proj": {
        "par": 10,
        "idx": 2
      }
    },
    {
      "id": 12,
      "label": "Return main",
      "type": null,
      "kind": "CTRL",
      "edges": [
        {
          "idx": 0,
          "def": 0,
          "role": "CTRL",
          "label": null
        },
        {
          "idx": 1,
          "def": 0,
          "role": "MEM",
          "label": null
        },
        {
          "idx": 2,
          "def": 11,
          "role": "DATA",
          "label": null
        },
        {
          "idx": 3,
          "def": 0,
          "role": "DATA",
          "label": null
        }
      ],
      "proj": null
    }
  ],
  "groups": []
}