anchor.diff:               annots=Annots,
                exports=[],
                attrs=[],
  -             definitions=[],
  +             scopes=[],
  +             definitions=ec_dictionary:new(ec_dict),
                alias=ec_dictionary:new(ec_dict),
  -             require=sets:new(),
  +             require=ec_dictionary:new(ec_dict),
                use=ec_dictionary:new(ec_dict)}.
   
   %% create a new context with default values for aliased modules, required
  
positive.code: 
  -spec add_require(module(), context()) -> context().
  add_require(Module, Ctx0=#context{require=Require}) ->
      Ctx0#context{require=sets:add_element(Module, Require)}.
  
  -spec use(context()) -> use().
  use(#context{use=Use}) ->
  
negative.code:          line/2,
           definitions/1,
           add_exported_definition/5,
           add_definition/5,
           resolve_variable/3,
           push_scope/1,
           add_variable_to_scope/2,
           add_variables_to_scope/2,
           pop_scope/1]).
  
  -export_type([context/0,
                attr/0,
  