anchor.diff:  manipulative_statement -> update_statement_searched                                             : '$1'.
   manipulative_statement -> base_table_def                                                        : '$1'.
   manipulative_statement -> drop_table_def                                                        : '$1'.
  +%manipulative_statement -> alter_user_def                                                        : '$1'.
   manipulative_statement -> view_def                                                              : '$1'.
   
   close_statement -> CLOSE cursor                                                                 : {'close', '$2'}.
  
positive.code:  UNLOCK
   QUOTA
   UNLIMITED
   'AND'
   'NOT'
   'OR'
  
negative.code: base_table_def -> CREATE USER NAME identified opt_user_opts_list                                : {'create_user', unwrap_bin('$3'), '$4', '$5'}.
  drop_table_def -> DROP TABLE opt_exists table_list opt_restrict_cascade                         : list_to_tuple(['drop_table', {'tables', '$4'}] ++ '$3' ++ '$5').
  
  % - alter_user_def -> ALTER USER user_spec
  % - 
  % - user_spec -> user_list proxy_clause
  % - user_spec -> NAME spec_list
  % - 
  % - spec_list -> identified spec_list 
  % - spec_list -> user_opt spec_list  
  % - spec_list -> user_role spec_list 
  
  identified -> IDENTIFIED BY NAME                                                                : {'identified_by', unwrap_bin('$3')}.
  identified -> IDENTIFIED EXTERNALLY opt_as                                                      : {'identified_extern', '$3'}.
  identified -> IDENTIFIED GLOBALLY opt_as                                                        : {'identified_globally', '$3'}.
  