anchor.diff:  				  R = get_start_end_locations(T),
   				  case lists:member(R, OpRanges) of
   				      false ->
  -                                          case wrangler_unification:expr_unification(Exp, T) of
  +                                          case wrangler_unification:expr_unification_extended(Exp, T) of
   					      {true, Subst} ->
   						  S ++ [{get_start_end_locations(T), T, Subst, none}];
   					      _ ->
  
positive.code: 		    check_expr_list_minus_last_expr(FoldFunBodyExprList, CurExprList,SubExprs)
  	    end;
  	_ ->
  	    case wrangler_unification:expr_unification(FoldFunBodyExprList, SubExprs) of
  		{true, Subst} when VarsToExport == [] ->
  		    [{get_start_end_locations(SubExprs), SubExprs, Subst, none}];
  		{true, Subst} ->
  
negative.code: 		    Body = wrangler_syntax:match_expr_body(Last),
  		    Pats = wrangler_syntax:match_expr_pattern(Last),
  		    SubExprs1 = lists:reverse([Body| Es]),
  		    case wrangler_unification:expr_unification_extended(FoldFunBodyExprList, SubExprs1) of
  			{true, Subst} ->
  			    [{get_start_end_locations(SubExprs), SubExprs, Subst, Pats}];
  			_ ->
  