anchor.diff:  interfaceName: singleLine;
   
   moduleImplementation:
  -	IMPLEMENTATION '{' moduleImplementationBody '}';
  +	IMPLEMENTATION OBRACE moduleImplementationBody CBRACE;
   
   moduleImplementationBody: block;
   
  
positive.code: 
  moduleDeclaration: moduleSignature moduleImplementation;
  moduleSignature:
  	MODULE moduleName '('? ')'? moduleSignatureBody;
  
  moduleName: singleLine;
  
  moduleSignatureBody: '{' usesOrProvides* '}';
  
  usesOrProvides: usesState | providesState;
  
  usesState:
  	USES INTERFACE usesInterfaceDescription* ';'
  	| USES '{' (INTERFACE usesInterfaceDescription ';')* '}';
  
  providesState:
  	PROVIDES INTERFACE providesInterfaceDescription* ';'
  	| PROVIDES '{' (INTERFACE providesInterfaceDescription ';')* '}';
  
  usesInterfaceDescription: interfaceNameAs | interfaceName;
  
  
negative.code: switch_condition_block: OPAR expr CPAR | OPAR symbol CPAR;
  
  switch_stat_block:
  	CASE (expr | anystatement) COLON stat* BREAK SCOL
  	| DEFAULT COLON stat* BREAK SCOL;
  
  atomic_stat: ATOMIC atomic_stat_block;
  
  