anchor.diff:   		  lit_vars(V, lit_vars(S, Vs0))
   	  end, Vs, Segs).
   
  -record_anno(L, St) ->
  -    case
  -        erl_anno:record(L) andalso member(dialyzer, St#core.opts)
  -    of
  +record_anno(L, #core{dialyzer=Dialyzer}=St) ->
  +    case erl_anno:record(L) andalso Dialyzer of
           true ->
               [record | lineno_anno(L, St)];
           false ->
  
positive.code:             ann_c_tuple(A, Es)
      end.
  
  annotate_cons(A, H, T, St) ->
      case member(dialyzer, St#core.opts) of
          true ->
              %% Do not coalesce constant conses. A Hack.
              Node= cerl:ann_c_cons(A, cerl:c_var(any), cerl:c_var(any)),
  
negative.code: function({function,_,Name,Arity,Cs0}, Ws0, File, Opts) ->
      try
          St0 = #core{vcount=0,function={Name,Arity},opts=Opts,
                      dialyzer=member(dialyzer, Opts),
                      ws=Ws0,file=[{file,File}]},
          {B0,St1} = body(Cs0, Name, Arity, St0),
          %% ok = function_dump(Name,Arity,"body:~n~p~n",[B0]),
  