anchor.diff:      verify_y_init(Vst0),
       Vst = deallocate(Vst0),
       verify_call_args(Name, Live, Vst),
  -    verify_return(Vst),
  -    kill_state(Vst).
  +    verify_return(Vst).
   
   verify_call_args(_, 0, #vst{}) ->
       ok;
  
positive.code:         #{ Ref := #value{type=Type} } -> Type;
          #{} -> none
      end;
  get_raw_type(Src, #vst{}) ->
      get_literal_type(Src).
  
  get_literal_type(nil) -> 
  
negative.code:     error({return_with_receive_marker,Mark});
  verify_return(Vst) ->
      verify_no_ct(Vst),
      kill_state(Vst).
  
  %%
  %% Common code for validating BIFs.
  