anchor.diff:  %%  as the Source.
   
   tdb_copy({Tag,_}=S, D, Ts) when Tag =:= x; Tag =:= y ->
  -    case tdb_find(S, Ts) of
  -	error -> orddict:erase(D, Ts);
  -	Type -> orddict:store(D, Type, Ts)
  +    case tdb_find_raw(S, Ts) of
  +        any -> orddict:erase(D, Ts);
  +        Type -> orddict:store(D, Type, Ts)
       end;
   tdb_copy(Literal, D, Ts) ->
       Type = case Literal of
  
positive.code: 	    Areg = fetch_reg(A, Rs),
  	    Breg = fetch_reg(B, Rs),
  	    Acc = [{set,[D],[Areg,Breg],{bif,Op,{f,0}}}|clearerror(Acc2)],
  	    Ts = tdb_update([{D0,float}], Ts0),
  	    simplify_float_1(Is, Ts, Rs, Acc)
      end;
  simplify_float_1([{set,_,_,{try_catch,_,_}}=I|Is]=Is0, _Ts, Rs0, Acc0) ->
  
negative.code: op_type('bsl') -> integer;
  op_type('bsr') -> integer;
  op_type('div') -> integer;
  op_type(_) -> any.
  
  unary_op_type(bit_size) -> integer;
  unary_op_type(byte_size) -> integer;
  unary_op_type(length) -> integer;
  unary_op_type(map_size) -> integer;
  unary_op_type(size) -> integer;
  unary_op_type(tuple_size) -> integer;
  unary_op_type(_) -> any.
  
  flush(Rs, [{set,[_],[_,_,_],{bif,is_record,_}}|_]=Is0, Acc0) ->
      Acc = flush_all(Rs, Is0, Acc0),
  