An extension that adds counter for aux contacts.
An extension to add style information to contacts.
Extension for declaring unhandled exception handler via simple DSL.
An extension that adds the collection of labels that can be used next.
An extension to add style information to contacts. It is used primarily by the SystemRenderer to convert StaticSystem to .dot-file