anchor.diff:  	  false -> t_any()
   	end
       end,
  -  ArgV = mk_fun_var(ArgFun, [Tag, Arity, Dst]),
  +  ArgV = ?mk_fun_var(ArgFun, [Tag, Arity, Dst]),
     DstFun = fun(Map) ->
   	       [TmpVar, TmpTag, TmpArity] = TmpArgTypes = lookup_type_list(Args, Map),
   	       TmpArgTypes2 =
  
positive.code: 		 end,
  	       erl_bif_types:type(erlang, is_record, 3, TmpArgTypes2)
  	   end,
    DstV = mk_fun_var(DstFun, Args),
    mk_conj_constraint_list([mk_constraint(Dst, sub, DstV),
  			   mk_constraint(Arity, sub, t_integer()),
  			   mk_constraint(Tag, sub, t_atom()),
  
negative.code: 		   end
  	       end
  	   end,
    DstV = ?mk_fun_var(DstFun, [Arg]),
    mk_conj_constraint_list([mk_constraint(Dst, sub, DstV),
  			   mk_constraint(Arg, sub, ArgV)]).
  
  