anchor.diff:  -spec get_type(cerl:cerl(), #sub{}) -> type_info() | 'none'.
   
   get_type(#c_var{name=V}, #sub{t=Tdb}) ->
  -    case orddict:find(V, Tdb) of
  -	{ok,Type} -> Type;
  -	error -> none
  +    case Tdb of
  +        #{V:=Type} -> Type;
  +        _ -> none
       end;
   get_type(C, _) ->
       case cerl:type(C) of
  
positive.code: -endif.
  
  %% Variable value info.
  -record(sub, {v=[],				%Variable substitutions
                s=cerl_sets:new() :: cerl_sets:set(), %Variables in scope
                t=[],		                    %Types
  	      in_guard=false}).			%In guard or not.
  
  -type type_info() :: cerl:cerl() | 'bool' | 'integer'.
  -type yes_no_maybe() :: 'yes' | 'no' | 'maybe'.
  
negative.code: 			    E
  		    end
  	    end;
          _ ->
  	    E
      end.
  
  