anchor.diff:              {Cb,St4} = comp_body(B, Env1, L, St3),
               {Cvs,St5} = new_c_vars(length(Ces), L, St4),
               Cf = let_fail(Cvs, L, St5),
  -            {c_case([L], c_values(Ces), [c_clause([L], Cps, Cg, Cb),Cf]),
  +            {ann_c_case([L], ann_c_values(Ces),
  +                        [ann_c_clause([L], Cps, Cg, Cb),Cf]),
                St5}
       end.
   
  
positive.code: %%     false ->
  %%         Call = fun (Cas, _, L, St) ->
  %%                Ann = line_file_anno(L, St),
  %%                {c_call(Ann, c_atom(erlang), c_atom('=:='), Cas),St}
  %%            end,
  %%         comp_gargs([Test,?Q(true)], Call, Env, L, St0)
  %%     end;
  
negative.code: pattern(Tup, _, Vs, St) when is_tuple(Tup) ->
      {comp_lit(Tup),Vs,St};
  pattern(Symb, L, Vs, St) when is_atom(Symb) ->
      pat_symb(Symb, L, Vs, St);                  %Variable
  pattern(Numb, _, Vs, St) when is_number(Numb) -> {c_lit(Numb),Vs,St}.
  
  pat_list([P|Ps], L, Vs0, St0) ->
  