anchor.diff:                                ;
   
   
  -terminatorServiceDefinition[String endtag]
  +terminatorServiceDefinition[String endtag, boolean isMASL]
   //scope NameScope;
                                 : ^( TERMINATOR_SERVICE_DEFINITION
                                      serviceVisibility
  
positive.code:                               ;
  
  
  stateDefinition[String endtag]
  //scope NameScope;
                                : ^( STATE_DEFINITION
                                     stateType
  
negative.code:                               ;
  
  
  projectTerminatorServiceDefinition[String endtag, boolean isMASL]
  //scope NameScope;
                                : ^( TERMINATOR_SERVICE_DEFINITION
                                     serviceVisibility
  