anchor.diff:  ann_c_apply(Ann, Op, As) ->
       cerl:ann_c_apply(Ann, Op, As).
   
  -c_values(Vs) ->
  -    cerl:c_values(Vs).
  +ann_c_values(Ann, Vs) -> cerl:ann_c_values(Ann, Vs).
   
   get_ann(Node) -> cerl:get_ann(Node).
   set_ann(Node, Ann) -> cerl:set_ann(Node, Ann).
  
positive.code:                                    ann_c_atom(Ann, is_map), [Cm]),
                          ann_c_map(Ann, Cm, Cpairs)),
      Cfail = map_fail(Cm, L, St),
      {ann_c_case(Ann, c_values([]), [Cmap,Cfail]),St}.
  
  map_fail(Map, L, St) ->
      Fann = [{eval_failure,badmap}],
  
negative.code:     {Fvs,St3} = new_c_vars(Ar, L, St2),
      Cf = func_fail(Fvs, L, St3),
      Ann = line_file_anno(L, St3),
      Cb = ann_c_case(Ann, ann_c_values(Ann, Cvs), Ccs ++ [Cf]),
      {ann_c_fun(Ann, Cvs, Cb),St3}.
  
  func_fail(Fvs, L, #cg{func=F}=St) ->
  