anchor.diff:      ModuleName.
   
   -spec module_name(module(), context()) -> context().
  -module_name(Module, Ctx0) ->
  -    Ctx0#context{module_name=Module}.
  +module_name(ModuleName, Ctx0) ->
  +    Ctx1 = Ctx0#context{module_name=ModuleName},
  +    update(Ctx1).
   
   exports(#context{exports=Exports}) ->
       Exports.
  
positive.code: 
  -record(context, {module_name :: atom(),
                    annots :: jxa_annot:annotations(),
                    exports :: [export()],
                    attrs :: [attr()],
                    alias :: alias(),
                    require :: require(),
  
negative.code: new(Annots) ->
      #context{module_name=undefined,
               attrs=[],
               exports=sets:new(),
               annots=Annots,
               scopes=[],
               definitions=ec_dictionary:new(ec_dict),
  