anchor.diff:      return f.getName();
   }
   
  -private String cleanASL( String str ) {
  +private String cleanASL( String str, boolean isMASL ) {
       if ( null == str ) return null;
  -    return str.replaceAll( "#ASL-BEGIN", "" ).replaceAll( "#ASL-END", "" ).replaceAll( "\nbegin\n  null;\nend", "" );
  +    if ( isMASL ) return str;
  +    else return str.replaceAll( "#ASL-BEGIN", "" ).replaceAll( "#ASL-END", "" ).replaceAll( "begin\n  null;\nend", "" );
   }
   
   }
  
positive.code:                               ;
  
  
  terminatorServiceDefinition[String endtag]
  //scope NameScope;
                                : ^( TERMINATOR_SERVICE_DEFINITION
                                     serviceVisibility
  
negative.code:                               ;
  
  
  stateDefinition[String endtag, boolean isMASL]
  //scope NameScope;
                                : ^( STATE_DEFINITION
                                     stateType
  