diff --git a/test/big.json b/test/big.json
new file mode 100644
index 0000000..2f83ec4
--- /dev/null
+++ b/test/big.json
@@ -0,0 +1,688 @@
+{
+    "grammar": {
+        "description": "",
+        "terminals": {
+            "a": {
+                "type": [
+                    "state",
+                    "state"
+                ]
+            }
+        },
+        "nonterminals": {
+            "X": {
+                "type": [
+                    "state",
+                    "state"
+                ]
+            }
+        },
+        "start": "X",
+        "rules": [
+            {
+                "lhs": "X",
+                "rhs": {
+                    "nodes": [
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        }
+                    ],
+                    "edges": [
+                        {
+                            "attachments": [
+                                0,
+                                1
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                1,
+                                2
+                            ],
+                            "label": "X"
+                        }
+                    ],
+                    "externals": [
+                        0,
+                        2
+                    ]
+                }
+            },
+            {
+                "lhs": "X",
+                "rhs": {
+                    "nodes": [
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        }
+                    ],
+                    "edges": [
+                        {
+                            "attachments": [
+                                0,
+                                1
+                            ],
+                            "label": "a"
+                        }
+                    ],
+                    "externals": [
+                        0,
+                        1
+                    ]
+                }
+            },
+            {
+                "lhs": "X",
+                "rhs": {
+                    "nodes": [
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        }
+                    ],
+                    "edges": [
+                        {
+                            "attachments": [
+                                0,
+                                1
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                0,
+                                2
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                0,
+                                3
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                0,
+                                4
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                0,
+                                5
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                0,
+                                6
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                1,
+                                2
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                1,
+                                3
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                1,
+                                4
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                1,
+                                5
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                1,
+                                6
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                2,
+                                3
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                2,
+                                4
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                2,
+                                5
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                2,
+                                6
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                3,
+                                4
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                3,
+                                5
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                3,
+                                6
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                4,
+                                5
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                4,
+                                6
+                            ],
+                            "label": "X"
+                        }
+                    ],
+                    "externals": [
+                        0,
+                        6
+                    ]
+                }
+            },
+            {
+                "lhs": "X",
+                "rhs": {
+                    "nodes": [
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        }
+                    ],
+                    "edges": [
+                        {
+                            "attachments": [
+                                0,
+                                1
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                1,
+                                2
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                2,
+                                3
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                3,
+                                4
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                4,
+                                5
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                5,
+                                6
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                6,
+                                7
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                7,
+                                8
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                8,
+                                9
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                9,
+                                10
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                10,
+                                11
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                11,
+                                12
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                12,
+                                13
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                13,
+                                14
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                14,
+                                15
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                15,
+                                16
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                16,
+                                17
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                17,
+                                18
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                18,
+                                19
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                19,
+                                20
+                            ],
+                            "label": "a"
+                        }
+                    ],
+                    "externals": [
+                        0,
+                        20
+                    ]
+                }
+            },
+            {
+                "lhs": "X",
+                "rhs": {
+                    "nodes": [
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        },
+                        {
+                            "label": "state"
+                        }
+                    ],
+                    "edges": [
+                        {
+                            "attachments": [
+                                0,
+                                10
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                1,
+                                9
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                2,
+                                8
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                3,
+                                7
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                4,
+                                6
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                5,
+                                5
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                6,
+                                4
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                7,
+                                3
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                8,
+                                2
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                9,
+                                1
+                            ],
+                            "label": "a"
+                        },
+                        {
+                            "attachments": [
+                                0,
+                                1
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                1,
+                                2
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                2,
+                                3
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                3,
+                                4
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                4,
+                                5
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                5,
+                                6
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                6,
+                                7
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                7,
+                                8
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                8,
+                                9
+                            ],
+                            "label": "X"
+                        },
+                        {
+                            "attachments": [
+                                9,
+                                10
+                            ],
+                            "label": "X"
+                        }
+                    ],
+                    "externals": [
+                        0,
+                        10
+                    ]
+                }
+            }
+        ]
+    },
+    "interpretation": {
+        "domains": {
+            "state": {
+                "class": "finite",
+                "values": [
+                    "q1",
+                    "q2"
+                ]
+            }
+        },
+        "factors": {
+            "a": {
+                "function": "finite",
+                "weights": [
+                    [
+                        0.1,
+                        0.01
+                    ],
+                    [
+                        0.01,
+                        0.1
+                    ]
+                ]
+            }
+        }
+    }
+}
\ No newline at end of file