anchor.diff:      Sub = Sub1#sub{v=[],s=cerl_sets:new()},
       B = body(B0, Ctxt, BodySub),
       Arg = core_lib:make_values(Args),
  -    opt_simple_let_2(Let, Vs, Arg, B, B0, Ctxt, Sub).
  +    opt_simple_let_2(Let, Vs, Arg, B, B0, Sub).
   
   
   %% opt_simple_let_2(Let0, Vs0, Arg0, Body, PrevBody, Ctxt, Sub) -> Core.
  
positive.code: 	false ->
  	    %% Arg cannot be "values" here - only a single value
  	    %% make sense here.
  	    case is_safe_simple(Arg, Sub) of
  		true -> B1;
  		false -> Seq0#c_seq{arg=Arg,body=B1}
  	    end
      end;
  expr(#c_let{}=Let0, Ctxt, Sub) ->
  
negative.code: %%  Note that the substitutions and scope in Sub have been cleared
  %%  and should not be used.
  
  opt_simple_let_2(Let0, Vs0, Arg0, Body, PrevBody, Sub) ->
      case {Vs0,Arg0,Body} of
  	{[#c_var{name=V}],Arg1,#c_var{name=V}} ->
              %% let <Var> = Arg in <Var>  ==>  Arg
              Arg1;
  	{[],#c_values{es=[]},_} ->
  	    %% No variables left.
  	    Body;
  	{Vs,Arg1,Body} ->
  	    %% If none of the variables are used in the body, we can
  	    %% rewrite the let to a sequence:
  