{
    "actions": [],
    "automata": [
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 0",
                                    "ref": "p0",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 0)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 1",
                                    "ref": "p0",
                                    "value": 1
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 0)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 2",
                                    "ref": "p0",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 1)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 1
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 3",
                                    "ref": "p0",
                                    "value": 3
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 2) & (none_lht(p1, p2, p3, p4, p5, p6, p7, p8, p9) | some_a(p1, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "∨",
                                "right": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_a",
                                    "op": "call"
                                }
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 2",
                                    "ref": "p0",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 2) & !((none_lht(p1, p2, p3, p4, p5, p6, p7, p8, p9) | some_a(p1, p2, p3, p4, p5, p6, p7, p8, p9))))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "left": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "none_lht",
                                        "op": "call"
                                    },
                                    "op": "∨",
                                    "right": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "some_a",
                                        "op": "call"
                                    }
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 4",
                                    "ref": "p0",
                                    "value": 4
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 3)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 7",
                                    "ref": "p0",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 3)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 5",
                                    "ref": "p0",
                                    "value": 5
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 4) & some_ha(p1, p2, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 10",
                                    "ref": "p0",
                                    "value": 10
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 4) & !(some_ha(p1, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 6",
                                    "ref": "p0",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 5)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 5
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 6",
                                    "ref": "p0",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 6) & some_ha(p1, p2, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 9",
                                    "ref": "p0",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 6) & !(some_ha(p1, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 8",
                                    "ref": "p0",
                                    "value": 8
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 7) & none_hta(p1, p2, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_hta",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 7",
                                    "ref": "p0",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 7) & !(none_hta(p1, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_hta",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 9",
                                    "ref": "p0",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 8)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 8
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 4",
                                    "ref": "p0",
                                    "value": 4
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 7",
                                    "ref": "p0",
                                    "value": 7
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 9)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 9
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 11",
                                    "ref": "p0",
                                    "value": 11
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 10)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 10
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 13",
                                    "ref": "p0",
                                    "value": 13
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 11) & none_lht(p1, p2, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_lht",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 12",
                                    "ref": "p0",
                                    "value": 12
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 11) & !(none_lht(p1, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 0",
                                    "ref": "p0",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 12)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 12
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 14",
                                    "ref": "p0",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 13)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 13
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 15",
                                    "ref": "p0",
                                    "value": 15
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 14) & none_e(p1, p2, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_e",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 14",
                                    "ref": "p0",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p0 = 14) & !(none_e(p1, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p0",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_e",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p0 <- 0",
                                    "ref": "p0",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p0 = 15)",
                        "exp": {
                            "left": "p0",
                            "op": "=",
                            "right": 15
                        }
                    },
                    "location": "l"
                }
            ],
            "initial-locations": [
                "l"
            ],
            "locations": [
                {
                    "name": "l",
                    "transient-values": [
                        {
                            "comment": "target <- (p1 = 10)",
                            "ref": "target",
                            "value": {
                                "left": "p1",
                                "op": "=",
                                "right": 10
                            }
                        }
                    ]
                }
            ],
            "name": "process0",
            "variables": []
        },
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 0",
                                    "ref": "p1",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 0)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 1",
                                    "ref": "p1",
                                    "value": 1
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 0)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 2",
                                    "ref": "p1",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 1)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 1
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 3",
                                    "ref": "p1",
                                    "value": 3
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 2) & (none_lht(p0, p2, p3, p4, p5, p6, p7, p8, p9) | some_a(p0, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "args": [
                                        "p0",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "∨",
                                "right": {
                                    "args": [
                                        "p0",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_a",
                                    "op": "call"
                                }
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 2",
                                    "ref": "p1",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 2) & !((none_lht(p0, p2, p3, p4, p5, p6, p7, p8, p9) | some_a(p0, p2, p3, p4, p5, p6, p7, p8, p9))))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "left": {
                                        "args": [
                                            "p0",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "none_lht",
                                        "op": "call"
                                    },
                                    "op": "∨",
                                    "right": {
                                        "args": [
                                            "p0",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "some_a",
                                        "op": "call"
                                    }
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 4",
                                    "ref": "p1",
                                    "value": 4
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 3)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 7",
                                    "ref": "p1",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 3)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 5",
                                    "ref": "p1",
                                    "value": 5
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 4) & some_ha(p0, p2, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p0",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 10",
                                    "ref": "p1",
                                    "value": 10
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 4) & !(some_ha(p0, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p0",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 6",
                                    "ref": "p1",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 5)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 5
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 6",
                                    "ref": "p1",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 6) & some_ha(p0, p2, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p0",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 9",
                                    "ref": "p1",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 6) & !(some_ha(p0, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p0",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 8",
                                    "ref": "p1",
                                    "value": 8
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 7) & none_hta(p0, p2, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p0",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_hta",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 7",
                                    "ref": "p1",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 7) & !(none_hta(p0, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p0",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_hta",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 9",
                                    "ref": "p1",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 8)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 8
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 4",
                                    "ref": "p1",
                                    "value": 4
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 7",
                                    "ref": "p1",
                                    "value": 7
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 9)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 9
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 11",
                                    "ref": "p1",
                                    "value": 11
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 10)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 10
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 13",
                                    "ref": "p1",
                                    "value": 13
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 11) & none_lht(p0, p2, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p0",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_lht",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 12",
                                    "ref": "p1",
                                    "value": 12
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 11) & !(none_lht(p0, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p0",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 0",
                                    "ref": "p1",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 12)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 12
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 14",
                                    "ref": "p1",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 13)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 13
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 15",
                                    "ref": "p1",
                                    "value": 15
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 14) & none_e(p0, p2, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p0",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_e",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 14",
                                    "ref": "p1",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p1 = 14) & !(none_e(p0, p2, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p1",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p0",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_e",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p1 <- 0",
                                    "ref": "p1",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p1 = 15)",
                        "exp": {
                            "left": "p1",
                            "op": "=",
                            "right": 15
                        }
                    },
                    "location": "l"
                }
            ],
            "initial-locations": [
                "l"
            ],
            "locations": [
                {
                    "name": "l"
                }
            ],
            "name": "process1",
            "variables": []
        },
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 0",
                                    "ref": "p2",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 0)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 1",
                                    "ref": "p2",
                                    "value": 1
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 0)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 2",
                                    "ref": "p2",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 1)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 1
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 3",
                                    "ref": "p2",
                                    "value": 3
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 2) & (none_lht(p1, p0, p3, p4, p5, p6, p7, p8, p9) | some_a(p1, p0, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "args": [
                                        "p1",
                                        "p0",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "∨",
                                "right": {
                                    "args": [
                                        "p1",
                                        "p0",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_a",
                                    "op": "call"
                                }
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 2",
                                    "ref": "p2",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 2) & !((none_lht(p1, p0, p3, p4, p5, p6, p7, p8, p9) | some_a(p1, p0, p3, p4, p5, p6, p7, p8, p9))))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "left": {
                                        "args": [
                                            "p1",
                                            "p0",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "none_lht",
                                        "op": "call"
                                    },
                                    "op": "∨",
                                    "right": {
                                        "args": [
                                            "p1",
                                            "p0",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "some_a",
                                        "op": "call"
                                    }
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 4",
                                    "ref": "p2",
                                    "value": 4
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 3)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 7",
                                    "ref": "p2",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 3)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 5",
                                    "ref": "p2",
                                    "value": 5
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 4) & some_ha(p1, p0, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p0",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 10",
                                    "ref": "p2",
                                    "value": 10
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 4) & !(some_ha(p1, p0, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p0",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 6",
                                    "ref": "p2",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 5)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 5
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 6",
                                    "ref": "p2",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 6) & some_ha(p1, p0, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p0",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 9",
                                    "ref": "p2",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 6) & !(some_ha(p1, p0, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p0",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 8",
                                    "ref": "p2",
                                    "value": 8
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 7) & none_hta(p1, p0, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p0",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_hta",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 7",
                                    "ref": "p2",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 7) & !(none_hta(p1, p0, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p0",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_hta",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 9",
                                    "ref": "p2",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 8)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 8
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 4",
                                    "ref": "p2",
                                    "value": 4
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 7",
                                    "ref": "p2",
                                    "value": 7
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 9)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 9
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 11",
                                    "ref": "p2",
                                    "value": 11
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 10)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 10
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 13",
                                    "ref": "p2",
                                    "value": 13
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 11) & none_lht(p1, p0, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p0",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_lht",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 12",
                                    "ref": "p2",
                                    "value": 12
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 11) & !(none_lht(p1, p0, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p0",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 0",
                                    "ref": "p2",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 12)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 12
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 14",
                                    "ref": "p2",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 13)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 13
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 15",
                                    "ref": "p2",
                                    "value": 15
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 14) & none_e(p1, p0, p3, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p0",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_e",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 14",
                                    "ref": "p2",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p2 = 14) & !(none_e(p1, p0, p3, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p2",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p0",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_e",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p2 <- 0",
                                    "ref": "p2",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p2 = 15)",
                        "exp": {
                            "left": "p2",
                            "op": "=",
                            "right": 15
                        }
                    },
                    "location": "l"
                }
            ],
            "initial-locations": [
                "l"
            ],
            "locations": [
                {
                    "name": "l"
                }
            ],
            "name": "process2",
            "variables": []
        },
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 0",
                                    "ref": "p3",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 0)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 1",
                                    "ref": "p3",
                                    "value": 1
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 0)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 2",
                                    "ref": "p3",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 1)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 1
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 3",
                                    "ref": "p3",
                                    "value": 3
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 2) & (none_lht(p1, p2, p0, p4, p5, p6, p7, p8, p9) | some_a(p1, p2, p0, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p0",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "∨",
                                "right": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p0",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_a",
                                    "op": "call"
                                }
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 2",
                                    "ref": "p3",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 2) & !((none_lht(p1, p2, p0, p4, p5, p6, p7, p8, p9) | some_a(p1, p2, p0, p4, p5, p6, p7, p8, p9))))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "left": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p0",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "none_lht",
                                        "op": "call"
                                    },
                                    "op": "∨",
                                    "right": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p0",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "some_a",
                                        "op": "call"
                                    }
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 4",
                                    "ref": "p3",
                                    "value": 4
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 3)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 7",
                                    "ref": "p3",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 3)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 5",
                                    "ref": "p3",
                                    "value": 5
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 4) & some_ha(p1, p2, p0, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p0",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 10",
                                    "ref": "p3",
                                    "value": 10
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 4) & !(some_ha(p1, p2, p0, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p0",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 6",
                                    "ref": "p3",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 5)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 5
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 6",
                                    "ref": "p3",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 6) & some_ha(p1, p2, p0, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p0",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 9",
                                    "ref": "p3",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 6) & !(some_ha(p1, p2, p0, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p0",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 8",
                                    "ref": "p3",
                                    "value": 8
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 7) & none_hta(p1, p2, p0, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p0",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_hta",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 7",
                                    "ref": "p3",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 7) & !(none_hta(p1, p2, p0, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p0",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_hta",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 9",
                                    "ref": "p3",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 8)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 8
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 4",
                                    "ref": "p3",
                                    "value": 4
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 7",
                                    "ref": "p3",
                                    "value": 7
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 9)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 9
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 11",
                                    "ref": "p3",
                                    "value": 11
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 10)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 10
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 13",
                                    "ref": "p3",
                                    "value": 13
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 11) & none_lht(p1, p2, p0, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p0",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_lht",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 12",
                                    "ref": "p3",
                                    "value": 12
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 11) & !(none_lht(p1, p2, p0, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p0",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 0",
                                    "ref": "p3",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 12)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 12
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 14",
                                    "ref": "p3",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 13)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 13
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 15",
                                    "ref": "p3",
                                    "value": 15
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 14) & none_e(p1, p2, p0, p4, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p0",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_e",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 14",
                                    "ref": "p3",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p3 = 14) & !(none_e(p1, p2, p0, p4, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p3",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p0",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_e",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p3 <- 0",
                                    "ref": "p3",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p3 = 15)",
                        "exp": {
                            "left": "p3",
                            "op": "=",
                            "right": 15
                        }
                    },
                    "location": "l"
                }
            ],
            "initial-locations": [
                "l"
            ],
            "locations": [
                {
                    "name": "l"
                }
            ],
            "name": "process3",
            "variables": []
        },
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 0",
                                    "ref": "p4",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 0)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 1",
                                    "ref": "p4",
                                    "value": 1
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 0)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 2",
                                    "ref": "p4",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 1)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 1
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 3",
                                    "ref": "p4",
                                    "value": 3
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 2) & (none_lht(p1, p2, p3, p0, p5, p6, p7, p8, p9) | some_a(p1, p2, p3, p0, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p0",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "∨",
                                "right": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p0",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_a",
                                    "op": "call"
                                }
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 2",
                                    "ref": "p4",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 2) & !((none_lht(p1, p2, p3, p0, p5, p6, p7, p8, p9) | some_a(p1, p2, p3, p0, p5, p6, p7, p8, p9))))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "left": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p0",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "none_lht",
                                        "op": "call"
                                    },
                                    "op": "∨",
                                    "right": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p0",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "some_a",
                                        "op": "call"
                                    }
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 4",
                                    "ref": "p4",
                                    "value": 4
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 3)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 7",
                                    "ref": "p4",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 3)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 5",
                                    "ref": "p4",
                                    "value": 5
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 4) & some_ha(p1, p2, p3, p0, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p0",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 10",
                                    "ref": "p4",
                                    "value": 10
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 4) & !(some_ha(p1, p2, p3, p0, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p0",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 6",
                                    "ref": "p4",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 5)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 5
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 6",
                                    "ref": "p4",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 6) & some_ha(p1, p2, p3, p0, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p0",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 9",
                                    "ref": "p4",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 6) & !(some_ha(p1, p2, p3, p0, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p0",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 8",
                                    "ref": "p4",
                                    "value": 8
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 7) & none_hta(p1, p2, p3, p0, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p0",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_hta",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 7",
                                    "ref": "p4",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 7) & !(none_hta(p1, p2, p3, p0, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p0",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_hta",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 9",
                                    "ref": "p4",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 8)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 8
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 4",
                                    "ref": "p4",
                                    "value": 4
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 7",
                                    "ref": "p4",
                                    "value": 7
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 9)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 9
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 11",
                                    "ref": "p4",
                                    "value": 11
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 10)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 10
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 13",
                                    "ref": "p4",
                                    "value": 13
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 11) & none_lht(p1, p2, p3, p0, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p0",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_lht",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 12",
                                    "ref": "p4",
                                    "value": 12
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 11) & !(none_lht(p1, p2, p3, p0, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p0",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 0",
                                    "ref": "p4",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 12)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 12
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 14",
                                    "ref": "p4",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 13)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 13
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 15",
                                    "ref": "p4",
                                    "value": 15
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 14) & none_e(p1, p2, p3, p0, p5, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p0",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_e",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 14",
                                    "ref": "p4",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p4 = 14) & !(none_e(p1, p2, p3, p0, p5, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p4",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p0",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_e",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p4 <- 0",
                                    "ref": "p4",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p4 = 15)",
                        "exp": {
                            "left": "p4",
                            "op": "=",
                            "right": 15
                        }
                    },
                    "location": "l"
                }
            ],
            "initial-locations": [
                "l"
            ],
            "locations": [
                {
                    "name": "l"
                }
            ],
            "name": "process4",
            "variables": []
        },
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 0",
                                    "ref": "p5",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 0)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 1",
                                    "ref": "p5",
                                    "value": 1
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 0)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 2",
                                    "ref": "p5",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 1)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 1
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 3",
                                    "ref": "p5",
                                    "value": 3
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 2) & (none_lht(p1, p2, p3, p4, p0, p6, p7, p8, p9) | some_a(p1, p2, p3, p4, p0, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p0",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "∨",
                                "right": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p0",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_a",
                                    "op": "call"
                                }
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 2",
                                    "ref": "p5",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 2) & !((none_lht(p1, p2, p3, p4, p0, p6, p7, p8, p9) | some_a(p1, p2, p3, p4, p0, p6, p7, p8, p9))))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "left": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p0",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "none_lht",
                                        "op": "call"
                                    },
                                    "op": "∨",
                                    "right": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p0",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "some_a",
                                        "op": "call"
                                    }
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 4",
                                    "ref": "p5",
                                    "value": 4
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 3)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 7",
                                    "ref": "p5",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 3)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 5",
                                    "ref": "p5",
                                    "value": 5
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 4) & some_ha(p1, p2, p3, p4, p0, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p0",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 10",
                                    "ref": "p5",
                                    "value": 10
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 4) & !(some_ha(p1, p2, p3, p4, p0, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p0",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 6",
                                    "ref": "p5",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 5)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 5
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 6",
                                    "ref": "p5",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 6) & some_ha(p1, p2, p3, p4, p0, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p0",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 9",
                                    "ref": "p5",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 6) & !(some_ha(p1, p2, p3, p4, p0, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p0",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 8",
                                    "ref": "p5",
                                    "value": 8
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 7) & none_hta(p1, p2, p3, p4, p0, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p0",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_hta",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 7",
                                    "ref": "p5",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 7) & !(none_hta(p1, p2, p3, p4, p0, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p0",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_hta",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 9",
                                    "ref": "p5",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 8)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 8
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 4",
                                    "ref": "p5",
                                    "value": 4
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 7",
                                    "ref": "p5",
                                    "value": 7
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 9)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 9
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 11",
                                    "ref": "p5",
                                    "value": 11
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 10)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 10
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 13",
                                    "ref": "p5",
                                    "value": 13
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 11) & none_lht(p1, p2, p3, p4, p0, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p0",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_lht",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 12",
                                    "ref": "p5",
                                    "value": 12
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 11) & !(none_lht(p1, p2, p3, p4, p0, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p0",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 0",
                                    "ref": "p5",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 12)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 12
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 14",
                                    "ref": "p5",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 13)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 13
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 15",
                                    "ref": "p5",
                                    "value": 15
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 14) & none_e(p1, p2, p3, p4, p0, p6, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p0",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_e",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 14",
                                    "ref": "p5",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p5 = 14) & !(none_e(p1, p2, p3, p4, p0, p6, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p5",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p0",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_e",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p5 <- 0",
                                    "ref": "p5",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p5 = 15)",
                        "exp": {
                            "left": "p5",
                            "op": "=",
                            "right": 15
                        }
                    },
                    "location": "l"
                }
            ],
            "initial-locations": [
                "l"
            ],
            "locations": [
                {
                    "name": "l"
                }
            ],
            "name": "process5",
            "variables": []
        },
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 0",
                                    "ref": "p6",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 0)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 1",
                                    "ref": "p6",
                                    "value": 1
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 0)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 2",
                                    "ref": "p6",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 1)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 1
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 3",
                                    "ref": "p6",
                                    "value": 3
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 2) & (none_lht(p1, p2, p3, p4, p5, p0, p7, p8, p9) | some_a(p1, p2, p3, p4, p5, p0, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p0",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "∨",
                                "right": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p0",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_a",
                                    "op": "call"
                                }
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 2",
                                    "ref": "p6",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 2) & !((none_lht(p1, p2, p3, p4, p5, p0, p7, p8, p9) | some_a(p1, p2, p3, p4, p5, p0, p7, p8, p9))))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "left": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p0",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "none_lht",
                                        "op": "call"
                                    },
                                    "op": "∨",
                                    "right": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p0",
                                            "p7",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "some_a",
                                        "op": "call"
                                    }
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 4",
                                    "ref": "p6",
                                    "value": 4
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 3)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 7",
                                    "ref": "p6",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 3)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 5",
                                    "ref": "p6",
                                    "value": 5
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 4) & some_ha(p1, p2, p3, p4, p5, p0, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p0",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 10",
                                    "ref": "p6",
                                    "value": 10
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 4) & !(some_ha(p1, p2, p3, p4, p5, p0, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p0",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 6",
                                    "ref": "p6",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 5)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 5
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 6",
                                    "ref": "p6",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 6) & some_ha(p1, p2, p3, p4, p5, p0, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p0",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 9",
                                    "ref": "p6",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 6) & !(some_ha(p1, p2, p3, p4, p5, p0, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p0",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 8",
                                    "ref": "p6",
                                    "value": 8
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 7) & none_hta(p1, p2, p3, p4, p5, p0, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p0",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_hta",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 7",
                                    "ref": "p6",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 7) & !(none_hta(p1, p2, p3, p4, p5, p0, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p0",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_hta",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 9",
                                    "ref": "p6",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 8)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 8
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 4",
                                    "ref": "p6",
                                    "value": 4
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 7",
                                    "ref": "p6",
                                    "value": 7
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 9)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 9
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 11",
                                    "ref": "p6",
                                    "value": 11
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 10)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 10
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 13",
                                    "ref": "p6",
                                    "value": 13
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 11) & none_lht(p1, p2, p3, p4, p5, p0, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p0",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_lht",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 12",
                                    "ref": "p6",
                                    "value": 12
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 11) & !(none_lht(p1, p2, p3, p4, p5, p0, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p0",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 0",
                                    "ref": "p6",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 12)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 12
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 14",
                                    "ref": "p6",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 13)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 13
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 15",
                                    "ref": "p6",
                                    "value": 15
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 14) & none_e(p1, p2, p3, p4, p5, p0, p7, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p0",
                                    "p7",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_e",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 14",
                                    "ref": "p6",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p6 = 14) & !(none_e(p1, p2, p3, p4, p5, p0, p7, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p6",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p0",
                                        "p7",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_e",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p6 <- 0",
                                    "ref": "p6",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p6 = 15)",
                        "exp": {
                            "left": "p6",
                            "op": "=",
                            "right": 15
                        }
                    },
                    "location": "l"
                }
            ],
            "initial-locations": [
                "l"
            ],
            "locations": [
                {
                    "name": "l"
                }
            ],
            "name": "process6",
            "variables": []
        },
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 0",
                                    "ref": "p7",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 0)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 1",
                                    "ref": "p7",
                                    "value": 1
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 0)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 2",
                                    "ref": "p7",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 1)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 1
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 3",
                                    "ref": "p7",
                                    "value": 3
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 2) & (none_lht(p1, p2, p3, p4, p5, p6, p0, p8, p9) | some_a(p1, p2, p3, p4, p5, p6, p0, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p0",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "∨",
                                "right": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p0",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_a",
                                    "op": "call"
                                }
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 2",
                                    "ref": "p7",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 2) & !((none_lht(p1, p2, p3, p4, p5, p6, p0, p8, p9) | some_a(p1, p2, p3, p4, p5, p6, p0, p8, p9))))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "left": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p0",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "none_lht",
                                        "op": "call"
                                    },
                                    "op": "∨",
                                    "right": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p0",
                                            "p8",
                                            "p9"
                                        ],
                                        "function": "some_a",
                                        "op": "call"
                                    }
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 4",
                                    "ref": "p7",
                                    "value": 4
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 3)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 7",
                                    "ref": "p7",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 3)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 5",
                                    "ref": "p7",
                                    "value": 5
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 4) & some_ha(p1, p2, p3, p4, p5, p6, p0, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p0",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 10",
                                    "ref": "p7",
                                    "value": 10
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 4) & !(some_ha(p1, p2, p3, p4, p5, p6, p0, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p0",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 6",
                                    "ref": "p7",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 5)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 5
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 6",
                                    "ref": "p7",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 6) & some_ha(p1, p2, p3, p4, p5, p6, p0, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p0",
                                    "p8",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 9",
                                    "ref": "p7",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 6) & !(some_ha(p1, p2, p3, p4, p5, p6, p0, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p0",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 8",
                                    "ref": "p7",
                                    "value": 8
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 7) & none_hta(p1, p2, p3, p4, p5, p6, p0, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p0",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_hta",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 7",
                                    "ref": "p7",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 7) & !(none_hta(p1, p2, p3, p4, p5, p6, p0, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p0",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_hta",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 9",
                                    "ref": "p7",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 8)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 8
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 4",
                                    "ref": "p7",
                                    "value": 4
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 7",
                                    "ref": "p7",
                                    "value": 7
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 9)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 9
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 11",
                                    "ref": "p7",
                                    "value": 11
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 10)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 10
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 13",
                                    "ref": "p7",
                                    "value": 13
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 11) & none_lht(p1, p2, p3, p4, p5, p6, p0, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p0",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_lht",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 12",
                                    "ref": "p7",
                                    "value": 12
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 11) & !(none_lht(p1, p2, p3, p4, p5, p6, p0, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p0",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 0",
                                    "ref": "p7",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 12)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 12
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 14",
                                    "ref": "p7",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 13)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 13
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 15",
                                    "ref": "p7",
                                    "value": 15
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 14) & none_e(p1, p2, p3, p4, p5, p6, p0, p8, p9))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p0",
                                    "p8",
                                    "p9"
                                ],
                                "function": "none_e",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 14",
                                    "ref": "p7",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p7 = 14) & !(none_e(p1, p2, p3, p4, p5, p6, p0, p8, p9)))",
                        "exp": {
                            "left": {
                                "left": "p7",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p0",
                                        "p8",
                                        "p9"
                                    ],
                                    "function": "none_e",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p7 <- 0",
                                    "ref": "p7",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p7 = 15)",
                        "exp": {
                            "left": "p7",
                            "op": "=",
                            "right": 15
                        }
                    },
                    "location": "l"
                }
            ],
            "initial-locations": [
                "l"
            ],
            "locations": [
                {
                    "name": "l"
                }
            ],
            "name": "process7",
            "variables": []
        },
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 0",
                                    "ref": "p8",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 0)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 1",
                                    "ref": "p8",
                                    "value": 1
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 0)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 2",
                                    "ref": "p8",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 1)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 1
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 3",
                                    "ref": "p8",
                                    "value": 3
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 2) & (none_lht(p1, p2, p3, p4, p5, p6, p7, p0, p9) | some_a(p1, p2, p3, p4, p5, p6, p7, p0, p9)))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p0",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "∨",
                                "right": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p0",
                                        "p9"
                                    ],
                                    "function": "some_a",
                                    "op": "call"
                                }
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 2",
                                    "ref": "p8",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 2) & !((none_lht(p1, p2, p3, p4, p5, p6, p7, p0, p9) | some_a(p1, p2, p3, p4, p5, p6, p7, p0, p9))))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "left": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p0",
                                            "p9"
                                        ],
                                        "function": "none_lht",
                                        "op": "call"
                                    },
                                    "op": "∨",
                                    "right": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p0",
                                            "p9"
                                        ],
                                        "function": "some_a",
                                        "op": "call"
                                    }
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 4",
                                    "ref": "p8",
                                    "value": 4
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 3)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 7",
                                    "ref": "p8",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 3)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 5",
                                    "ref": "p8",
                                    "value": 5
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 4) & some_ha(p1, p2, p3, p4, p5, p6, p7, p0, p9))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p0",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 10",
                                    "ref": "p8",
                                    "value": 10
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 4) & !(some_ha(p1, p2, p3, p4, p5, p6, p7, p0, p9)))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p0",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 6",
                                    "ref": "p8",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 5)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 5
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 6",
                                    "ref": "p8",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 6) & some_ha(p1, p2, p3, p4, p5, p6, p7, p0, p9))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p0",
                                    "p9"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 9",
                                    "ref": "p8",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 6) & !(some_ha(p1, p2, p3, p4, p5, p6, p7, p0, p9)))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p0",
                                        "p9"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 8",
                                    "ref": "p8",
                                    "value": 8
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 7) & none_hta(p1, p2, p3, p4, p5, p6, p7, p0, p9))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p0",
                                    "p9"
                                ],
                                "function": "none_hta",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 7",
                                    "ref": "p8",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 7) & !(none_hta(p1, p2, p3, p4, p5, p6, p7, p0, p9)))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p0",
                                        "p9"
                                    ],
                                    "function": "none_hta",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 9",
                                    "ref": "p8",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 8)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 8
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 4",
                                    "ref": "p8",
                                    "value": 4
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 7",
                                    "ref": "p8",
                                    "value": 7
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 9)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 9
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 11",
                                    "ref": "p8",
                                    "value": 11
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 10)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 10
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 13",
                                    "ref": "p8",
                                    "value": 13
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 11) & none_lht(p1, p2, p3, p4, p5, p6, p7, p0, p9))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p0",
                                    "p9"
                                ],
                                "function": "none_lht",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 12",
                                    "ref": "p8",
                                    "value": 12
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 11) & !(none_lht(p1, p2, p3, p4, p5, p6, p7, p0, p9)))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p0",
                                        "p9"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 0",
                                    "ref": "p8",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 12)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 12
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 14",
                                    "ref": "p8",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 13)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 13
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 15",
                                    "ref": "p8",
                                    "value": 15
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 14) & none_e(p1, p2, p3, p4, p5, p6, p7, p0, p9))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p0",
                                    "p9"
                                ],
                                "function": "none_e",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 14",
                                    "ref": "p8",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p8 = 14) & !(none_e(p1, p2, p3, p4, p5, p6, p7, p0, p9)))",
                        "exp": {
                            "left": {
                                "left": "p8",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p0",
                                        "p9"
                                    ],
                                    "function": "none_e",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p8 <- 0",
                                    "ref": "p8",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p8 = 15)",
                        "exp": {
                            "left": "p8",
                            "op": "=",
                            "right": 15
                        }
                    },
                    "location": "l"
                }
            ],
            "initial-locations": [
                "l"
            ],
            "locations": [
                {
                    "name": "l"
                }
            ],
            "name": "process8",
            "variables": []
        },
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 0",
                                    "ref": "p9",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 0)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 1",
                                    "ref": "p9",
                                    "value": 1
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 0)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 0
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 2",
                                    "ref": "p9",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 1)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 1
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 3",
                                    "ref": "p9",
                                    "value": 3
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 2) & (none_lht(p1, p2, p3, p4, p5, p6, p7, p8, p0) | some_a(p1, p2, p3, p4, p5, p6, p7, p8, p0)))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p0"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "∨",
                                "right": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p0"
                                    ],
                                    "function": "some_a",
                                    "op": "call"
                                }
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 2",
                                    "ref": "p9",
                                    "value": 2
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 2) & !((none_lht(p1, p2, p3, p4, p5, p6, p7, p8, p0) | some_a(p1, p2, p3, p4, p5, p6, p7, p8, p0))))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 2
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "left": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p0"
                                        ],
                                        "function": "none_lht",
                                        "op": "call"
                                    },
                                    "op": "∨",
                                    "right": {
                                        "args": [
                                            "p1",
                                            "p2",
                                            "p3",
                                            "p4",
                                            "p5",
                                            "p6",
                                            "p7",
                                            "p8",
                                            "p0"
                                        ],
                                        "function": "some_a",
                                        "op": "call"
                                    }
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 4",
                                    "ref": "p9",
                                    "value": 4
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 3)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 7",
                                    "ref": "p9",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 3)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 3
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 5",
                                    "ref": "p9",
                                    "value": 5
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 4) & some_ha(p1, p2, p3, p4, p5, p6, p7, p8, p0))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p0"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 10",
                                    "ref": "p9",
                                    "value": 10
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 4) & !(some_ha(p1, p2, p3, p4, p5, p6, p7, p8, p0)))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 4
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p0"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 6",
                                    "ref": "p9",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 5)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 5
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 6",
                                    "ref": "p9",
                                    "value": 6
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 6) & some_ha(p1, p2, p3, p4, p5, p6, p7, p8, p0))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p0"
                                ],
                                "function": "some_ha",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 9",
                                    "ref": "p9",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 6) & !(some_ha(p1, p2, p3, p4, p5, p6, p7, p8, p0)))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 6
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p0"
                                    ],
                                    "function": "some_ha",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 8",
                                    "ref": "p9",
                                    "value": 8
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 7) & none_hta(p1, p2, p3, p4, p5, p6, p7, p8, p0))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p0"
                                ],
                                "function": "none_hta",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 7",
                                    "ref": "p9",
                                    "value": 7
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 7) & !(none_hta(p1, p2, p3, p4, p5, p6, p7, p8, p0)))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 7
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p0"
                                    ],
                                    "function": "none_hta",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 9",
                                    "ref": "p9",
                                    "value": 9
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 8)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 8
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 4",
                                    "ref": "p9",
                                    "value": 4
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 7",
                                    "ref": "p9",
                                    "value": 7
                                }
                            ],
                            "location": "l",
                            "probability": {
                                "comment": "1/2",
                                "exp": 0.5
                            }
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 9)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 9
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 11",
                                    "ref": "p9",
                                    "value": 11
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 10)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 10
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 13",
                                    "ref": "p9",
                                    "value": 13
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 11) & none_lht(p1, p2, p3, p4, p5, p6, p7, p8, p0))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p0"
                                ],
                                "function": "none_lht",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 12",
                                    "ref": "p9",
                                    "value": 12
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 11) & !(none_lht(p1, p2, p3, p4, p5, p6, p7, p8, p0)))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 11
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p0"
                                    ],
                                    "function": "none_lht",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 0",
                                    "ref": "p9",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 12)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 12
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 14",
                                    "ref": "p9",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 13)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 13
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 15",
                                    "ref": "p9",
                                    "value": 15
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 14) & none_e(p1, p2, p3, p4, p5, p6, p7, p8, p0))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "args": [
                                    "p1",
                                    "p2",
                                    "p3",
                                    "p4",
                                    "p5",
                                    "p6",
                                    "p7",
                                    "p8",
                                    "p0"
                                ],
                                "function": "none_e",
                                "op": "call"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 14",
                                    "ref": "p9",
                                    "value": 14
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "((p9 = 14) & !(none_e(p1, p2, p3, p4, p5, p6, p7, p8, p0)))",
                        "exp": {
                            "left": {
                                "left": "p9",
                                "op": "=",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "exp": {
                                    "args": [
                                        "p1",
                                        "p2",
                                        "p3",
                                        "p4",
                                        "p5",
                                        "p6",
                                        "p7",
                                        "p8",
                                        "p0"
                                    ],
                                    "function": "none_e",
                                    "op": "call"
                                },
                                "op": "¬"
                            }
                        }
                    },
                    "location": "l"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "comment": "p9 <- 0",
                                    "ref": "p9",
                                    "value": 0
                                }
                            ],
                            "location": "l"
                        }
                    ],
                    "guard": {
                        "comment": "(p9 = 15)",
                        "exp": {
                            "left": "p9",
                            "op": "=",
                            "right": 15
                        }
                    },
                    "location": "l"
                }
            ],
            "initial-locations": [
                "l"
            ],
            "locations": [
                {
                    "name": "l"
                }
            ],
            "name": "process9",
            "variables": []
        }
    ],
    "constants": [],
    "features": [
        "derived-operators",
        "functions"
    ],
    "functions": [
        {
            "body": {
                "left": {
                    "left": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": "some_a__param__p9",
                                    "op": "≥",
                                    "right": 14
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_a__param__p9",
                                    "op": "≤",
                                    "right": 15
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "some_a__param__p2",
                                    "op": "≥",
                                    "right": 14
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_a__param__p2",
                                    "op": "≤",
                                    "right": 15
                                }
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": "some_a__param__p5",
                                "op": "≥",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "left": "some_a__param__p5",
                                "op": "≤",
                                "right": 15
                            }
                        }
                    },
                    "op": "∨",
                    "right": {
                        "left": {
                            "left": {
                                "left": "some_a__param__p7",
                                "op": "≥",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "left": "some_a__param__p7",
                                "op": "≤",
                                "right": 15
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": "some_a__param__p3",
                                "op": "≥",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "left": "some_a__param__p3",
                                "op": "≤",
                                "right": 15
                            }
                        }
                    }
                },
                "op": "∨",
                "right": {
                    "left": {
                        "left": {
                            "left": {
                                "left": "some_a__param__p8",
                                "op": "≥",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "left": "some_a__param__p8",
                                "op": "≤",
                                "right": 15
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": "some_a__param__p1",
                                "op": "≥",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "left": "some_a__param__p1",
                                "op": "≤",
                                "right": 15
                            }
                        }
                    },
                    "op": "∨",
                    "right": {
                        "left": {
                            "left": {
                                "left": "some_a__param__p6",
                                "op": "≥",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "left": "some_a__param__p6",
                                "op": "≤",
                                "right": 15
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": "some_a__param__p4",
                                "op": "≥",
                                "right": 14
                            },
                            "op": "∧",
                            "right": {
                                "left": "some_a__param__p4",
                                "op": "≤",
                                "right": 15
                            }
                        }
                    }
                }
            },
            "name": "some_a",
            "parameters": [
                {
                    "name": "some_a__param__p1",
                    "type": "int"
                },
                {
                    "name": "some_a__param__p2",
                    "type": "int"
                },
                {
                    "name": "some_a__param__p3",
                    "type": "int"
                },
                {
                    "name": "some_a__param__p4",
                    "type": "int"
                },
                {
                    "name": "some_a__param__p5",
                    "type": "int"
                },
                {
                    "name": "some_a__param__p6",
                    "type": "int"
                },
                {
                    "name": "some_a__param__p7",
                    "type": "int"
                },
                {
                    "name": "some_a__param__p8",
                    "type": "int"
                },
                {
                    "name": "some_a__param__p9",
                    "type": "int"
                }
            ],
            "type": "bool"
        },
        {
            "body": {
                "left": {
                    "left": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": "none_lht__param__p9",
                                    "op": "<",
                                    "right": 4
                                },
                                "op": "∨",
                                "right": {
                                    "left": "none_lht__param__p9",
                                    "op": ">",
                                    "right": 13
                                }
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "left": "none_lht__param__p2",
                                    "op": "<",
                                    "right": 4
                                },
                                "op": "∨",
                                "right": {
                                    "left": "none_lht__param__p2",
                                    "op": ">",
                                    "right": 13
                                }
                            }
                        },
                        "op": "∧",
                        "right": {
                            "left": {
                                "left": "none_lht__param__p5",
                                "op": "<",
                                "right": 4
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_lht__param__p5",
                                "op": ">",
                                "right": 13
                            }
                        }
                    },
                    "op": "∧",
                    "right": {
                        "left": {
                            "left": {
                                "left": "none_lht__param__p7",
                                "op": "<",
                                "right": 4
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_lht__param__p7",
                                "op": ">",
                                "right": 13
                            }
                        },
                        "op": "∧",
                        "right": {
                            "left": {
                                "left": "none_lht__param__p3",
                                "op": "<",
                                "right": 4
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_lht__param__p3",
                                "op": ">",
                                "right": 13
                            }
                        }
                    }
                },
                "op": "∧",
                "right": {
                    "left": {
                        "left": {
                            "left": {
                                "left": "none_lht__param__p8",
                                "op": "<",
                                "right": 4
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_lht__param__p8",
                                "op": ">",
                                "right": 13
                            }
                        },
                        "op": "∧",
                        "right": {
                            "left": {
                                "left": "none_lht__param__p1",
                                "op": "<",
                                "right": 4
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_lht__param__p1",
                                "op": ">",
                                "right": 13
                            }
                        }
                    },
                    "op": "∧",
                    "right": {
                        "left": {
                            "left": {
                                "left": "none_lht__param__p6",
                                "op": "<",
                                "right": 4
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_lht__param__p6",
                                "op": ">",
                                "right": 13
                            }
                        },
                        "op": "∧",
                        "right": {
                            "left": {
                                "left": "none_lht__param__p4",
                                "op": "<",
                                "right": 4
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_lht__param__p4",
                                "op": ">",
                                "right": 13
                            }
                        }
                    }
                }
            },
            "name": "none_lht",
            "parameters": [
                {
                    "name": "none_lht__param__p1",
                    "type": "int"
                },
                {
                    "name": "none_lht__param__p2",
                    "type": "int"
                },
                {
                    "name": "none_lht__param__p3",
                    "type": "int"
                },
                {
                    "name": "none_lht__param__p4",
                    "type": "int"
                },
                {
                    "name": "none_lht__param__p5",
                    "type": "int"
                },
                {
                    "name": "none_lht__param__p6",
                    "type": "int"
                },
                {
                    "name": "none_lht__param__p7",
                    "type": "int"
                },
                {
                    "name": "none_lht__param__p8",
                    "type": "int"
                },
                {
                    "name": "none_lht__param__p9",
                    "type": "int"
                }
            ],
            "type": "bool"
        },
        {
            "body": {
                "left": {
                    "left": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": {
                                        "left": "some_ha__param__p9",
                                        "op": "≥",
                                        "right": 10
                                    },
                                    "op": "∧",
                                    "right": {
                                        "left": "some_ha__param__p9",
                                        "op": "≤",
                                        "right": 15
                                    }
                                },
                                "op": "∨",
                                "right": {
                                    "left": {
                                        "left": "some_ha__param__p1",
                                        "op": "≥",
                                        "right": 10
                                    },
                                    "op": "∧",
                                    "right": {
                                        "left": "some_ha__param__p1",
                                        "op": "≤",
                                        "right": 15
                                    }
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": {
                                        "left": "some_ha__param__p5",
                                        "op": "≥",
                                        "right": 10
                                    },
                                    "op": "∧",
                                    "right": {
                                        "left": "some_ha__param__p5",
                                        "op": "≤",
                                        "right": 15
                                    }
                                },
                                "op": "∨",
                                "right": {
                                    "left": {
                                        "left": "some_ha__param__p5",
                                        "op": "≥",
                                        "right": 4
                                    },
                                    "op": "∧",
                                    "right": {
                                        "left": "some_ha__param__p5",
                                        "op": "≤",
                                        "right": 5
                                    }
                                }
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": {
                                    "left": "some_ha__param__p7",
                                    "op": "≥",
                                    "right": 10
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p7",
                                    "op": "≤",
                                    "right": 15
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "some_ha__param__p3",
                                    "op": "≥",
                                    "right": 4
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p3",
                                    "op": "≤",
                                    "right": 5
                                }
                            }
                        }
                    },
                    "op": "∨",
                    "right": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": "some_ha__param__p8",
                                    "op": "≥",
                                    "right": 10
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p8",
                                    "op": "≤",
                                    "right": 15
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "some_ha__param__p2",
                                    "op": "≥",
                                    "right": 4
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p2",
                                    "op": "≤",
                                    "right": 5
                                }
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": {
                                    "left": "some_ha__param__p6",
                                    "op": "≥",
                                    "right": 10
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p6",
                                    "op": "≤",
                                    "right": 15
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "some_ha__param__p4",
                                    "op": "≥",
                                    "right": 4
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p4",
                                    "op": "≤",
                                    "right": 5
                                }
                            }
                        }
                    }
                },
                "op": "∨",
                "right": {
                    "left": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": "some_ha__param__p9",
                                    "op": "≥",
                                    "right": 4
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p9",
                                    "op": "≤",
                                    "right": 5
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "some_ha__param__p1",
                                    "op": "≥",
                                    "right": 4
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p1",
                                    "op": "≤",
                                    "right": 5
                                }
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": {
                                    "left": "some_ha__param__p6",
                                    "op": "≥",
                                    "right": 4
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p6",
                                    "op": "≤",
                                    "right": 5
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "some_ha__param__p4",
                                    "op": "≥",
                                    "right": 10
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p4",
                                    "op": "≤",
                                    "right": 15
                                }
                            }
                        }
                    },
                    "op": "∨",
                    "right": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": "some_ha__param__p8",
                                    "op": "≥",
                                    "right": 4
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p8",
                                    "op": "≤",
                                    "right": 5
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "some_ha__param__p2",
                                    "op": "≥",
                                    "right": 10
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p2",
                                    "op": "≤",
                                    "right": 15
                                }
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": {
                                    "left": "some_ha__param__p7",
                                    "op": "≥",
                                    "right": 4
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p7",
                                    "op": "≤",
                                    "right": 5
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "some_ha__param__p3",
                                    "op": "≥",
                                    "right": 10
                                },
                                "op": "∧",
                                "right": {
                                    "left": "some_ha__param__p3",
                                    "op": "≤",
                                    "right": 15
                                }
                            }
                        }
                    }
                }
            },
            "name": "some_ha",
            "parameters": [
                {
                    "name": "some_ha__param__p1",
                    "type": "int"
                },
                {
                    "name": "some_ha__param__p2",
                    "type": "int"
                },
                {
                    "name": "some_ha__param__p3",
                    "type": "int"
                },
                {
                    "name": "some_ha__param__p4",
                    "type": "int"
                },
                {
                    "name": "some_ha__param__p5",
                    "type": "int"
                },
                {
                    "name": "some_ha__param__p6",
                    "type": "int"
                },
                {
                    "name": "some_ha__param__p7",
                    "type": "int"
                },
                {
                    "name": "some_ha__param__p8",
                    "type": "int"
                },
                {
                    "name": "some_ha__param__p9",
                    "type": "int"
                }
            ],
            "type": "bool"
        },
        {
            "body": {
                "left": {
                    "left": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": {
                                        "left": "none_hta__param__p9",
                                        "op": "≥",
                                        "right": 7
                                    },
                                    "op": "∧",
                                    "right": {
                                        "left": "none_hta__param__p9",
                                        "op": "≤",
                                        "right": 8
                                    }
                                },
                                "op": "∨",
                                "right": {
                                    "left": {
                                        "left": "none_hta__param__p1",
                                        "op": "≥",
                                        "right": 7
                                    },
                                    "op": "∧",
                                    "right": {
                                        "left": "none_hta__param__p1",
                                        "op": "≤",
                                        "right": 8
                                    }
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": {
                                        "left": "none_hta__param__p5",
                                        "op": "≥",
                                        "right": 7
                                    },
                                    "op": "∧",
                                    "right": {
                                        "left": "none_hta__param__p5",
                                        "op": "≤",
                                        "right": 8
                                    }
                                },
                                "op": "∨",
                                "right": {
                                    "left": {
                                        "left": "none_hta__param__p5",
                                        "op": "≥",
                                        "right": 0
                                    },
                                    "op": "∧",
                                    "right": {
                                        "left": "none_hta__param__p5",
                                        "op": "≤",
                                        "right": 3
                                    }
                                }
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": {
                                    "left": "none_hta__param__p7",
                                    "op": "≥",
                                    "right": 7
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p7",
                                    "op": "≤",
                                    "right": 8
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "none_hta__param__p3",
                                    "op": "≥",
                                    "right": 0
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p3",
                                    "op": "≤",
                                    "right": 3
                                }
                            }
                        }
                    },
                    "op": "∨",
                    "right": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": "none_hta__param__p8",
                                    "op": "≥",
                                    "right": 7
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p8",
                                    "op": "≤",
                                    "right": 8
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "none_hta__param__p2",
                                    "op": "≥",
                                    "right": 0
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p2",
                                    "op": "≤",
                                    "right": 3
                                }
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": {
                                    "left": "none_hta__param__p6",
                                    "op": "≥",
                                    "right": 7
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p6",
                                    "op": "≤",
                                    "right": 8
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "none_hta__param__p4",
                                    "op": "≥",
                                    "right": 0
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p4",
                                    "op": "≤",
                                    "right": 3
                                }
                            }
                        }
                    }
                },
                "op": "∨",
                "right": {
                    "left": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": "none_hta__param__p9",
                                    "op": "≥",
                                    "right": 0
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p9",
                                    "op": "≤",
                                    "right": 3
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "none_hta__param__p1",
                                    "op": "≥",
                                    "right": 0
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p1",
                                    "op": "≤",
                                    "right": 3
                                }
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": {
                                    "left": "none_hta__param__p6",
                                    "op": "≥",
                                    "right": 0
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p6",
                                    "op": "≤",
                                    "right": 3
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "none_hta__param__p4",
                                    "op": "≥",
                                    "right": 7
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p4",
                                    "op": "≤",
                                    "right": 8
                                }
                            }
                        }
                    },
                    "op": "∨",
                    "right": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": "none_hta__param__p8",
                                    "op": "≥",
                                    "right": 0
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p8",
                                    "op": "≤",
                                    "right": 3
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "none_hta__param__p2",
                                    "op": "≥",
                                    "right": 7
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p2",
                                    "op": "≤",
                                    "right": 8
                                }
                            }
                        },
                        "op": "∨",
                        "right": {
                            "left": {
                                "left": {
                                    "left": "none_hta__param__p7",
                                    "op": "≥",
                                    "right": 0
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p7",
                                    "op": "≤",
                                    "right": 3
                                }
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "none_hta__param__p3",
                                    "op": "≥",
                                    "right": 7
                                },
                                "op": "∧",
                                "right": {
                                    "left": "none_hta__param__p3",
                                    "op": "≤",
                                    "right": 8
                                }
                            }
                        }
                    }
                }
            },
            "name": "none_hta",
            "parameters": [
                {
                    "name": "none_hta__param__p1",
                    "type": "int"
                },
                {
                    "name": "none_hta__param__p2",
                    "type": "int"
                },
                {
                    "name": "none_hta__param__p3",
                    "type": "int"
                },
                {
                    "name": "none_hta__param__p4",
                    "type": "int"
                },
                {
                    "name": "none_hta__param__p5",
                    "type": "int"
                },
                {
                    "name": "none_hta__param__p6",
                    "type": "int"
                },
                {
                    "name": "none_hta__param__p7",
                    "type": "int"
                },
                {
                    "name": "none_hta__param__p8",
                    "type": "int"
                },
                {
                    "name": "none_hta__param__p9",
                    "type": "int"
                }
            ],
            "type": "bool"
        },
        {
            "body": {
                "left": {
                    "left": {
                        "left": {
                            "left": {
                                "left": {
                                    "left": "none_e__param__p9",
                                    "op": "<",
                                    "right": 2
                                },
                                "op": "∨",
                                "right": {
                                    "left": "none_e__param__p9",
                                    "op": ">",
                                    "right": 3
                                }
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "left": "none_e__param__p2",
                                    "op": "<",
                                    "right": 2
                                },
                                "op": "∨",
                                "right": {
                                    "left": "none_e__param__p2",
                                    "op": ">",
                                    "right": 3
                                }
                            }
                        },
                        "op": "∧",
                        "right": {
                            "left": {
                                "left": "none_e__param__p5",
                                "op": "<",
                                "right": 2
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_e__param__p5",
                                "op": ">",
                                "right": 3
                            }
                        }
                    },
                    "op": "∧",
                    "right": {
                        "left": {
                            "left": {
                                "left": "none_e__param__p7",
                                "op": "<",
                                "right": 2
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_e__param__p7",
                                "op": ">",
                                "right": 3
                            }
                        },
                        "op": "∧",
                        "right": {
                            "left": {
                                "left": "none_e__param__p3",
                                "op": "<",
                                "right": 2
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_e__param__p3",
                                "op": ">",
                                "right": 3
                            }
                        }
                    }
                },
                "op": "∧",
                "right": {
                    "left": {
                        "left": {
                            "left": {
                                "left": "none_e__param__p8",
                                "op": "<",
                                "right": 2
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_e__param__p8",
                                "op": ">",
                                "right": 3
                            }
                        },
                        "op": "∧",
                        "right": {
                            "left": {
                                "left": "none_e__param__p1",
                                "op": "<",
                                "right": 2
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_e__param__p1",
                                "op": ">",
                                "right": 3
                            }
                        }
                    },
                    "op": "∧",
                    "right": {
                        "left": {
                            "left": {
                                "left": "none_e__param__p6",
                                "op": "<",
                                "right": 2
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_e__param__p6",
                                "op": ">",
                                "right": 3
                            }
                        },
                        "op": "∧",
                        "right": {
                            "left": {
                                "left": "none_e__param__p4",
                                "op": "<",
                                "right": 2
                            },
                            "op": "∨",
                            "right": {
                                "left": "none_e__param__p4",
                                "op": ">",
                                "right": 3
                            }
                        }
                    }
                }
            },
            "name": "none_e",
            "parameters": [
                {
                    "name": "none_e__param__p1",
                    "type": "int"
                },
                {
                    "name": "none_e__param__p2",
                    "type": "int"
                },
                {
                    "name": "none_e__param__p3",
                    "type": "int"
                },
                {
                    "name": "none_e__param__p4",
                    "type": "int"
                },
                {
                    "name": "none_e__param__p5",
                    "type": "int"
                },
                {
                    "name": "none_e__param__p6",
                    "type": "int"
                },
                {
                    "name": "none_e__param__p7",
                    "type": "int"
                },
                {
                    "name": "none_e__param__p8",
                    "type": "int"
                },
                {
                    "name": "none_e__param__p9",
                    "type": "int"
                }
            ],
            "type": "bool"
        }
    ],
    "jani-version": 1,
    "name": "model",
    "properties": [
        {
            "expression": {
                "fun": "values",
                "op": "filter",
                "states": {
                    "op": "initial"
                },
                "values": {
                    "exp": {
                        "left": true,
                        "op": "U",
                        "right": "target"
                    },
                    "op": "Pmax"
                }
            },
            "name": "live"
        }
    ],
    "restrict-initial": {
        "exp": true
    },
    "system": {
        "elements": [
            {
                "automaton": "process0"
            },
            {
                "automaton": "process1"
            },
            {
                "automaton": "process2"
            },
            {
                "automaton": "process3"
            },
            {
                "automaton": "process4"
            },
            {
                "automaton": "process5"
            },
            {
                "automaton": "process6"
            },
            {
                "automaton": "process7"
            },
            {
                "automaton": "process8"
            },
            {
                "automaton": "process9"
            }
        ]
    },
    "type": "mdp",
    "variables": [
        {
            "initial-value": false,
            "name": "target",
            "transient": true,
            "type": "bool"
        },
        {
            "initial-value": 1,
            "name": "p0",
            "type": {
                "base": "int",
                "kind": "bounded",
                "lower-bound": 0,
                "upper-bound": 15
            }
        },
        {
            "initial-value": 1,
            "name": "p1",
            "type": {
                "base": "int",
                "kind": "bounded",
                "lower-bound": 0,
                "upper-bound": 15
            }
        },
        {
            "initial-value": 1,
            "name": "p2",
            "type": {
                "base": "int",
                "kind": "bounded",
                "lower-bound": 0,
                "upper-bound": 15
            }
        },
        {
            "initial-value": 1,
            "name": "p3",
            "type": {
                "base": "int",
                "kind": "bounded",
                "lower-bound": 0,
                "upper-bound": 15
            }
        },
        {
            "initial-value": 1,
            "name": "p4",
            "type": {
                "base": "int",
                "kind": "bounded",
                "lower-bound": 0,
                "upper-bound": 15
            }
        },
        {
            "initial-value": 1,
            "name": "p5",
            "type": {
                "base": "int",
                "kind": "bounded",
                "lower-bound": 0,
                "upper-bound": 15
            }
        },
        {
            "initial-value": 1,
            "name": "p6",
            "type": {
                "base": "int",
                "kind": "bounded",
                "lower-bound": 0,
                "upper-bound": 15
            }
        },
        {
            "initial-value": 1,
            "name": "p7",
            "type": {
                "base": "int",
                "kind": "bounded",
                "lower-bound": 0,
                "upper-bound": 15
            }
        },
        {
            "initial-value": 1,
            "name": "p8",
            "type": {
                "base": "int",
                "kind": "bounded",
                "lower-bound": 0,
                "upper-bound": 15
            }
        },
        {
            "initial-value": 1,
            "name": "p9",
            "type": {
                "base": "int",
                "kind": "bounded",
                "lower-bound": 0,
                "upper-bound": 15
            }
        }
    ]
}