anchor.diff:  		    t_is_bitstr/1,
   		    t_is_boolean/1,
   		    t_is_cons/1,
  -		    t_is_constant/1,
   		    t_is_float/1,
   		    t_is_float/1,
   		    t_is_fun/1,
  
positive.code: 		    t_cons/2,
  		    t_cons_hd/1,
  		    t_cons_tl/1,
  		    t_constant/0,
  		    t_fixnum/0,
  		    t_non_neg_fixnum/0,
  		    t_pos_fixnum/0,
  
negative.code:   [t_any()];
  arg_types(erlang, is_builtin, 3) ->
    [t_atom(), t_atom(), t_arity()];
  arg_types(erlang, is_float, 1) ->
    [t_any()];
  arg_types(erlang, is_function, 1) ->
  