anchor.diff:      erl_anno:set_generated(true, Anno).
   
   mark_record(Anno, St) ->
  -    case lists:member(dialyzer, St#exprec.compile) of
  +    case St#exprec.dialyzer of
           true -> erl_anno:set_record(true, Anno);
           false -> Anno
       end.
  
positive.code: record_info_call(Line, [{atom,_Li,Info},{atom,_Ln,Name}], St) ->
      case Info of
          size ->
              {{integer,Line,1+length(record_fields(Name, St))},St};
          fields ->
              {make_list(field_names(record_fields(Name, St)), Line),St}
      end.
  
  %% Break out expressions from an record update list and bind to new
  
negative.code: 			 [{tuple,NLine,[{atom,NLine,badrecord},{atom,NLine,Name}]}]}]}]},
              expr(E, St);
          true ->                                 %In a guard.
              Fs = record_fields(Name, Line, St0),
              I = index_expr(Line, Index, Name, Fs),
              {ExpR,St1}  = expr(R, St0),
              %% Just to make comparison simple:
  