anchor.diff:  	Other when not is_atom(Other) ->
   	    {#imatch{anno=#a{anno=Lanno},pat=P2,arg=E2,fc=Fc},Eps,St4}
       end;
  -expr({op,_,'++',{lc,Llc,E,Qs},More}, St0) ->
  +expr({op,_,'++',{lc,Llc,E,Qs0},More}, St0) ->
       %% Optimise '++' here because of the list comprehension algorithm.
       %%
       %% To avoid achieving quadratic complexity if there is a chain of
  
positive.code:     {T1,Tps,St2} = safe(T0, St1),
      A = lineno_anno(L, St2),
      {ann_c_cons(A, H1, T1),Hps ++ Tps,St2};
  expr({lc,L,E,Qs}, St) ->
      lc_tq(L, E, Qs, #c_literal{anno=lineno_anno(L, St),val=[]}, St);
  expr({bc,L,E,Qs}, St) ->
      bc_tq(L, E, Qs, {nil,L}, St);
  expr({tuple,L,Es0}, St0) ->
  
negative.code:     {Var,St1} = new_var(St0),
      emasculate_segments(Rest, St1, [B#c_bitstr{val=Var}|Acc]);
  emasculate_segments([], St, Acc) ->
      {reverse(Acc),St}.
  
  lc_guard_tests([], St) -> {[],St};
  lc_guard_tests(Gs0, St0) ->
  