anchor.diff:      ;
   
   batch
  -    : sql_clauses go_statement*
  +    : execute_body go_statement*
  +    | execute_body? sql_clauses go_statement*
       ;
   
   sql_clauses
  
positive.code: 
  // https://msdn.microsoft.com/en-us/library/ms188332.aspx
  execute_statement
      : EXECUTE (return_status=LOCAL_ID '=')? (func_proc_name | expression) (execute_statement_arg (',' execute_statement_arg)*)? ';'?
      | EXECUTE '(' execute_var_string ('+' execute_var_string)* ')' (AS? (LOGIN | USER) '=' STRING)? ';'?
      ;
  
  execute_statement_arg
  
negative.code:     : USE database=id ';'?
      ;
  setuser_statement
      : SETUSER user=STRING?
      ;
  
  dbcc_clause
  