reworked clause def

src/main/jastadd/base/io/IoPN.jadd

@@ -7,4 +7,8 @@ aspect IoPnExtension{
         inh DinerosTransition TransitionInformation.containingTransition();
         eq DinerosTransition.getChild().containingTransition() = this;
 
+        syn InputSignalClause SignalTransitionInformation.getClause() {
+            return ToolSpecificsParser.getClauseFromToolSpecifics(containingTransition().getToolspecificList());
+        }
+
 }

src/main/jastadd/base/io/IoPN.relast

@@ -10,7 +10,7 @@ PlaceInformation : PnObjectInformation;
 abstract TransitionInformation : PnObjectInformation;
 TopicTransitionInformation : TransitionInformation ::= <Topic:String> SubscriberPort:SubscriberPort* PublisherPort:PublisherPort*;
 ServiceTransitionInformation : TransitionInformation ::= <ServiceName:String> ServerChannel:ServiceChannel ClientChannel:ServiceChannel*;
-SignalTransitionInformation : TransitionInformation ::= Clause:InputSignalClause; /* only normal transition have signals attached */
+SignalTransitionInformation : TransitionInformation ::= /Clause:InputSignalClause/; /* only normal transition have signals attached */
 
 // Ports
 abstract Port;