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