anchor.diff:      {ok, none}.
       
   %% Pre-condition checking. 
  --spec (pre_cond_check/1::(#args{}) -> ok | {error, term()}).  
  -pre_cond_check(Args=#args{user_inputs=[ModuleName]}) ->
  +-spec (check_pre_cond/1::(#args{}) -> ok | {error, term()}).  
  +check_pre_cond(Args=#args{user_inputs=[ModuleName]}) ->
       case collect_uses(Args) of 
           [] ->
               Msg =io_lib:format(
  
positive.code:     end.
  
  selective() ->
      false.
  
  %%Do the actual program transformation here.
  -spec (transform/1::(#args{}) -> 
  
negative.code:     {ok,AST} = refac_api:get_ast(File),
      case FunsToImport of 
          [] ->
              [{_, NewAST}]=?FULL_TD([rule(Args)], [{File, AST}]),
              {ok, [{{File, File}, NewAST}]};
          _ ->
              Import=make_import_attr(ModuleName, FunsToImport),
              AST1=refac_api:insert_an_attr(AST,Import),
              [{_,NewAST}]=?FULL_TD([rule(Args)], [{File, AST1}]),
              {ok, [{{File, File}, NewAST}]}
      end.
  
  