anchor.diff:      kill_state(Vst);
   valfun_1({try_case_end,Src}, Vst) ->
       verify_y_init(Vst),
  -    assert_term(Src, Vst),
  +    assert_not_fragile(Src, Vst),
       kill_state(Vst);
   %% Instructions that cannot cause exceptions
   valfun_1({bs_get_tail,Ctx,Dst,Live}, Vst0) ->
  
positive.code: verify_call_args_1(0, _) -> ok;
  verify_call_args_1(N, Vst) ->
      X = N - 1,
      get_term_type({x,X}, Vst),
      verify_call_args_1(X, Vst).
  
  verify_local_call(Lbl, Live, Vst) ->
  
negative.code:     end;
  %% Put instructions.
  valfun_1({put_list,A,B,Dst}, Vst0) ->
      assert_not_fragile(A, Vst0),
      assert_not_fragile(B, Vst0),
      Vst = eat_heap(2, Vst0),
      create_term(cons, Dst, Vst);
  valfun_1({put_tuple2,Dst,{list,Elements}}, Vst0) ->
      _ = [assert_not_fragile(El, Vst0) || El <- Elements],
      Size = length(Elements),
      Vst = eat_heap(Size+1, Vst0),
      Type = {tuple,Size},
  