anchor.diff:  //and ensures clauses (which aren't allowed in normal impl modules)...
   moduleFacilityInit
       :   FAC_INIT
  +        (affectsClause)*
           (requiresClause)?
           (ensuresClause)?
  -        (variableDeclGroup)*
  -        //stmt block
  +        (facilityDecl)*
  +        (variableDecl)*
  +        (auxVariableDecl)*
  +        (stmt)*
       ;
   
   moduleFacilityFinal
       :   FAC_FINAL
  -         (requiresClause)?
  -         (ensuresClause)?
  -         (variableDeclGroup)*
  -         //stmt block
  +        (affectsClause)*
  +        (requiresClause)?
  +        (ensuresClause)?
  +        (facilityDecl)*
  +        (variableDecl)*
  +        (auxVariableDecl)*
  +        (stmt)*
       ;
   
   moduleSpecInit
  
positive.code: 
  moduleImplInit
      :   FAC_INIT
          (variableDeclGroup)*
          //Todo: stmts
      ;
  
  moduleImplFinal
      :   FAC_FINAL
          (variableDeclGroup)*
          //Todo: stmts
      ;
  
  performanceModuleSpecInit
  
negative.code:     :   FINALIZATION
          (affectsClause)*
          (facilityDecl)*
          (variableDecl)*
          (auxVariableDecl)*
          (stmt)*
          END SEMICOLON
      ;
  