anchor.diff:  //type EmptyStatement(?loc) =
   //    inherit Statement("EmptyStatement", ?loc = loc)
   //    member _.Print(_) = ()
  -
  -// type WithStatement
   
   // Control Flow
   
  
positive.code: //    member _.Quasi: TemplateLiteral = quasi
  
  // Identifier
  /// Note that an identifier may be an expression or a destructuring pattern.
  type Identifier =
      | Identifier of name: string * optional: bool option * typeAnnotation: TypeAnnotation option * loc: SourceLocation option
  
  type PatternIdentifier = Identifier
  type StringLiteral =
      | StringLiteral of value: string * loc: SourceLocation option
  
  
negative.code: /// A module import or export declaration.
  type ModuleDeclaration =
      | PrivateModuleDeclaration of statement: Statement
      /// An export named declaration, e.g., export {foo, bar};, export {foo} from "mod"; or export var foo = 1;.
      /// Note: Having declaration populated with non-empty specifiers or non-null source results in an invalid state.
      | ExportNamedDeclaration of declaration: Declaration
      | ExportAllDeclaration of source: Literal * loc: SourceLocation option
      /// An export default declaration, e.g., export default function () {}; or export default 1;.
  