anchor.diff:  		      (erl_internal:comp_op(Name, NumArgs) orelse
   		       erl_internal:new_type_test(Name, NumArgs))
       end;
  -is_safe_simple(_, _) -> false.
  -
  -is_safe_simple_list(Es, Sub) -> all(fun(E) -> is_safe_simple(E, Sub) end, Es).
  +is_safe_simple(_) -> false.
  +
  +is_safe_simple_list(Es) -> all(fun(E) -> is_safe_simple(E) end, Es).
   
   %% will_fail(Expr) -> true|false.
   %%  Determine whether the expression will fail with an exception.
  
positive.code: expr(#c_catch{body=B0}=Catch, _, Sub) ->
      %% We can remove catch if the value is simple
      B1 = body(B0, value, Sub),
      case is_safe_simple(B1, Sub) of
  	true -> B1;
  	false -> Catch#c_catch{body=B1}
      end;
  
negative.code: 		    {error,Cs};
  		false ->
  		    %% If possible, expand this variable to a previously
  		    %% constructed tuple
  		    E = case_expand_var(E0, Sub),
  		    case_opt_arg_1(E, Cs, LitExpr)
  	    end
  