Cyberiada-GraphML-1.0 SM formal CGML_META standardVersion/ 1.0 transitionOrder/ transitionFirst eventPropagation/ block final State final Local exit