anchor.diff:  -record(constraint, {lhs  :: erl_types:erl_type(),
   		     op   :: constr_op(),
   		     rhs  :: fvar_or_type(),
  -		     deps :: [dep()]}).
  +		     deps :: deps()}).
   
   -type constraint() :: #constraint{}.
  +
  +-type mask() :: ordsets:ordset(non_neg_integer()).
   
   -record(constraint_list, {type :: 'conj' | 'disj',
   			  list :: [constr()],
  -			  deps :: [dep()],
  -                          masks = [] :: [{dep(),[non_neg_integer()]}] |
  -                                  {'d',dict:dict(dep(), [non_neg_integer()])},
  +                          deps :: deps(),
  +                          masks = [] :: [{dep(),mask()}] |
  +                                  {'d',dict:dict(dep(), mask())},
   			  id   :: {'list', dep()} | 'undefined'}).
   
   -type constraint_list() :: #constraint_list{}.
   
  --record(constraint_ref, {id :: type_var(), deps :: [dep()]}).
  +-record(constraint_ref, {id :: type_var(), deps :: deps()}).
   
   -type constraint_ref() :: #constraint_ref{}.
   
  
positive.code: %%-----------------------------------------------------------------------
  %% %CopyrightBegin%
  %%
  %% Copyright Ericsson AB 2006-2015. All Rights Reserved.
  %%
  %% Licensed under the Apache License, Version 2.0 (the "License");
  %% you may not use this file except in compliance with the License.
  
negative.code:       _Many -> false
      end,
    #state{callgraph = CallGraph, name_map = NameMap, next_label = NextLabel,
  	 prop_types = PropTypes, plt = Plt, scc = ordsets:from_list(SCC),
  	 mfas = MFAs, self_rec = SelfRec, solvers = Solvers}.
  
  state__set_rec_dict(State, RecDict) ->
  