anchor.diff:  
   WS
   :
  -   F_Whitespace -> channel(HIDDEN)
  +   F_Whitespace+ -> channel(HIDDEN)
   ;
   
   // Fragments
  
positive.code: 
  M_BANNER_NEWLINE
  :
     '\n' -> type(NEWLINE), mode(M_MOTD_EOF)
  ;
  
  mode M_CERTIFICATE;
  
negative.code: 
  M_NAME_WS
  :
     F_Whitespace+ -> channel(HIDDEN)
  ;
  
  M_NAME_NAME
  :
     F_NonNewline+ -> popMode
  ;
  
  mode M_NEIGHBOR;
  