Added an example, wrote some debugging code that shows a particular
problem with the creation of unreachable zones and unnecessary zones.
Modified the Fernandez API a bit to ensure that we can input custom
initial partitions, this helps write code that ensures that zones from
different locations don't end up being called bisimilar.