anchor.diff:  %%%
   
   float_op(Ss, Dst, Vst0) ->
  -    [assert_freg_set(S, Vst0) || S <- Ss],
  +    _ = [assert_freg_set(S, Vst0) || S <- Ss],
       assert_fls(cleared, Vst0),
       Vst = set_fls(cleared, Vst0),
       set_freg(Dst, Vst).
  
positive.code:     assert_type(map, Src, Vst0),
      verify_live(Live, Vst0),
      verify_y_init(Vst0),
      [assert_term(Term, Vst0) || Term <- List],
      Vst = heap_alloc(0, Vst0),
  
      branch(Fail, Vst,
  
negative.code: get_tuple_size(_) -> 0.
  
  validate_src(Ss, Vst) when is_list(Ss) ->
      _ = [assert_term(S, Vst) || S <- Ss],
      ok.
  
  %% get_term_type(Src, ValidatorState) -> Type
  