anchor.diff:           push_scope/1,
            add_variable_to_scope/2,
            add_variables_to_scope/2,
  -         pop_scope/1]).
  +         pop_scope/1,
  +         update/1]).
   
   -export_type([context/0,
                 attr/0,
  
positive.code: 
  -record(context, {module_name :: atom(),
                    annots :: jxa_annot:annotations(),
                    exports :: [export()],
                    attrs :: [attr()],
                    alias :: alias(),
                    require :: require(),
  
negative.code: 
  pop_scope(Ctx0=#context{scopes=[_|Scopes]}) ->
      Ctx0#context{scopes=Scopes}.
  
  update(Ctx0=#context{module_name=ModuleName, require=Req}) ->
      try
          Exports = ModuleName:module_info(exports),
          Ctx0#context{require=ec_dictionary:add(ModuleName, Exports, Req)}
      catch
          _:undef ->
              Ctx0
      end.
  