anchor.diff:      end.
           
   is_meta_list_variable(Var) ->
  -    case wrangler_syntax:type(Var) of
  -        variable ->
  -            VarName = wrangler_syntax:variable_name(Var),
  -            lists:prefix("@@", lists:reverse(atom_to_list(VarName)));
  -        _ ->
  -            false
  -    end.
  +   case wrangler_syntax:type(Var) of
  +       variable ->
  +           VarName = wrangler_syntax:variable_name(Var),
  +           lists:prefix("@@", lists:reverse(atom_to_list(VarName)));
  +       _ ->
  +           false
  +   end.
   
   is_meta_meta_list_variable(Var) ->
       case wrangler_syntax:type(Var) of
  
positive.code:             SubTrees2 = subtrees(Exp2),
              case length(SubTrees1) == length(SubTrees2) of
  		true ->
                      unification(SubTrees1, SubTrees2);
                  _ -> [false]
  	    end
      end.
  
  
negative.code: list_unification_1(Exp1, Exp2)->
      LEs1 = [E||E<-Exp1,is_list(E)],
      LEs2 = [E||E<-Exp2,is_list(E)],
      case LEs1==[] andalso LEs2==[] of
          false ->
              case  has_meta_list(Exp1) of
                  false ->
                      list_unification_2(Exp1, Exp2);
                  true ->
                      list_unification_3(Exp1,Exp2)
              end;
          true ->
              list_unification_3(Exp1, Exp2)
      end.
  