- | Burning, _ -> Empty
- | Tree, 0 when is_probable f -> Burning
- | Tree, neighbors_burning when neighbors_burning > 0 -> Burning
- | Empty, _ when is_probable p -> Tree
- | state, _ -> state
+ | Burning, _, _ -> Empty
+ | Tree, 0, (f, _) when is_probable f -> Burning
+ | Tree, n_burning, _ when n_burning > 0 -> Burning
+ | Empty, _, (_, p) when is_probable p -> Tree
+ | state, _, _ -> state