check that: - [x] given a marking and a sequence of firings, check that the resulting marking is as expected (https://github.com/statebox/purescript-studio/blob/7e2236b1a029b2c48d10e919ea886816f22670f4/stbx-protocol/src/Statebox/Protocol/Fire.purs#L30) - [x] given a wiring tree, check that the linearization into glued transitions is correct (https://github.com/statebox/purescript-studio/blob/7e2236b1a029b2c48d10e919ea886816f22670f4/stbx-core/src/Statebox/Core/WiringTree.purs#L29) - [x] given an `ArrayMultiset a` we convert it correctly to an `Array (PlaceMarking a Int)` (https://github.com/statebox/purescript-studio/blob/7e2236b1a029b2c48d10e919ea886816f22670f4/stbx-core/src/Statebox/Core/Transition.purs#L31)
check that:
purescript-studio/stbx-protocol/src/Statebox/Protocol/Fire.purs
Line 30 in 7e2236b
purescript-studio/stbx-core/src/Statebox/Core/WiringTree.purs
Line 29 in 7e2236b
ArrayMultiset awe convert it correctly to anArray (PlaceMarking a Int)(purescript-studio/stbx-core/src/Statebox/Core/Transition.purs
Line 31 in 7e2236b