anchor.diff:              ann_c_tuple(A, Es)
       end.
   
  -annotate_cons(A, H, T, St) ->
  -    case member(dialyzer, St#core.opts) of
  +annotate_cons(A, H, T, #core{dialyzer=Dialyzer}) ->
  +    case Dialyzer of
           true ->
               %% Do not coalesce constant conses. A Hack.
               Node= cerl:ann_c_cons(A, cerl:c_var(any), cerl:c_var(any)),
  
positive.code: 	       in_guard=false :: boolean(),	%In guard or not.
  	       wanted=true :: boolean(),	%Result wanted or not.
  	       opts     :: [compile:option()],	%Options.
  	       ws=[]    :: [warning()],		%Warnings.
                 file=[{file,""}]			%File.
  	      }).
  
negative.code:     right_assoc({op,L2,Op,E1,{op,L1,Op,E2,E3}}, Op);
  right_assoc(E, _Op) -> E.
  
  annotate_tuple(A, Es, #core{dialyzer=Dialyzer}) ->
      case Dialyzer of
          true ->
              %% Do not coalesce constant tuple elements. A Hack.
              Node = cerl:ann_c_tuple(A, [cerl:c_var(any)]),
  