anchor.diff:      {Var,St1} = new_var(St0),
       emasculate_segments(Rest, St1, [B#c_bitstr{val=Var}|Acc]);
   emasculate_segments([], St, Acc) ->
  -    {lists:reverse(Acc),St}.
  +    {reverse(Acc),St}.
   
   lc_guard_tests([], St) -> {[],St};
   lc_guard_tests(Gs0, St0) ->
  
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:     %% evaluation of More now. Evaluating More here could also reduce the
      %% number variables in the environment for letrec.
      {Mc,Mps,St1} = safe(More, St0),
      {Qs,St2} = preprocess_quals(Llc, Qs0, St1),
      {Y,Yps,St} = lc_tq(Llc, E, Qs, Mc, St2),
      {Y,Mps++Yps,St};
  expr({op,L,'andalso',E1,E2}, St0) ->
      {#c_var{name=V0},St} = new_var(L, St0),
  