Fixed long-standing problem in zone-graph creation which arises when
abstraction is needed. Specifically, canonical decomposition based on
invariant and outgoing edges was omitted after creation of zones
through abstraction. This is no longer the case.