anchor.diff:  //scope NameScope;
   
                                 : ^( DOMAIN_SERVICE_DEFINITION
  +                                   SERVICE_TYPE
                                      serviceVisibility
                                      domainReference
                                      serviceName
  
positive.code: 
  
                                : ^( TERMINATOR_SERVICE_DEFINITION
                                     serviceVisibility
                                     domainReference
                                     terminatorName
  
negative.code: 
  
                                :^( OBJECT_SERVICE_DEFINITION
                                     SERVICE_TYPE
                                     serviceVisibility
                                     INSTANCE?
                                     fullObjectReference
  