new type TripleGraph that extends a plain graph with additional divider
information. This should solve the efficiency problem with just having a
list of layout elements that point to the henshin elelements. Explicit
export function will be needed to store the underlying system in a
.henshin file.
extended functionality for automatic conversion to new class TripleGraph
currently not active