anchor.diff:    [t_any()];
   arg_types(erlang, is_builtin, 3) ->
     [t_atom(), t_atom(), t_arity()];
  -arg_types(erlang, is_constant, 1) ->
  -  [t_any()];
   arg_types(erlang, is_float, 1) ->
     [t_any()];
   arg_types(erlang, is_function, 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_is_bitstr/1,
  		    t_is_boolean/1,
  		    t_is_cons/1,
  		    t_is_float/1,
  		    t_is_float/1,
  		    t_is_fun/1,
  