anchor.diff:      false ->
         { TArgs, VA } = transform_tree(Args, F, V, S),
         { TVar, VV }  = transform(Var, F, V, S),
  -      { {call, Line, TVar, TArgs}, umerge3(V, VA, VV) }
  +      { {call, Line, TVar, TArgs}, umerge(VA, VV) }
     end;
   
   % Handle module/object declarations. The difference between
  
positive.code: % because variables in one clause should not affect the other.
  transform({clause, Line, Args, Guards, Exprs}, F, V, S) ->
    { Var, Def, Mod } = S,
    { TArgs, V1 } = transform_tree(Args, F, V, { true, Def, Mod }),
    { TExprs, _ } = transform_tree(Exprs, F, umerge(V, V1), S),
    { clause, Line, TArgs, Guards, TExprs };
  
  % Handles erlang function calls in the following format:
  
negative.code: % Variables defined inside these expressions needs to be added to the var list.
  transform({tuple, Line, Exprs }, F, V, S) ->
    { TExprs, VE } = transform_tree(Exprs, F, V, S),
    { {tuple, Line, TExprs}, VE };
  
  % Handle list declarations.
  %
  