anchor.diff:      {Qs1,St3} = lc_tq(Line, Qs0, St2),
       {[{b_generate,Lg,P1,G1}|Qs1],St3};
   lc_tq(Line, [F0 | Qs0], St0) ->
  -    case erl_lint:is_guard_test(F0) of
  -        true ->
  -            {F1,St1} = guard_test(F0, St0),
  -            {Qs1,St2} = lc_tq(Line, Qs0, St1),
  -            {[F1|Qs1],St2};
  -        false ->
  -            {F1,St1} = expr(F0, St0),
  -            {Qs1,St2} = lc_tq(Line, Qs0, St1),
  -            {[F1 | Qs1],St2}
  -    end;
  +    {F1,St1} = expr(F0, St0),
  +    {Qs1,St2} = lc_tq(Line, Qs0, St1),
  +    {[F1|Qs1],St2};
   lc_tq(_Line, [], St0) ->
       {[],St0}.
   
  
positive.code:     {{'fun',Lf,{clauses,Cs1},{Index,Uniq,Fname}},St2}.
  
  fun_tq(Line, Cs0, St0, Name) ->
      {Cs1,St1} = fun_clauses(Cs0, St0),
      {Fname,St2} = new_fun_name(St1, Name),
      {{named_fun,Line,Name,Cs1,{0,0,Fname}},St2}.
  
  fun_clauses([{clause,L,H0,G0,B0}|Cs0], St0) ->
      {H,St1} = head(H0, St0),
      {G,St2} = guard(G0, St1),
      {B,St3} = exprs(B0, St2),
      {Cs,St4} = fun_clauses(Cs0, St3),
      {[{clause,L,H,G,B}|Cs],St4};
  fun_clauses([], St) -> {[],St}.
  
  %% new_fun_name(State) -> {FunName,State}.
  
  
negative.code: fun_tq(Lf, {function,_,_,_}=ExtFun, St) ->
      {{'fun',Lf,ExtFun},St};
  fun_tq(Lf, {clauses,Cs0}, St0) ->
      {Cs1,St1} = clauses(Cs0, St0),
      {Fname,St2} = new_fun_name(St1),
      %% Set dummy values for Index and Uniq -- the real values will
      %% be assigned by beam_asm.
  