anchor.diff:      Fun = #ifun{anno=LAnno,id=[],vars=[Var],clauses=Cs,fc=Fc},
       {#iletrec{anno=LAnno#a{anno=[list_comprehension|LA]},defs=[{{Name,1},Fun}],
                 body=Pre ++ [#iapply{anno=LAnno,op=F,args=[Arg]}]},
  -     [],St4};
  +     Ceps,St4};
   lc_tq(Line, E, [#ifilter{}=Filter|Qs], Mc, St) ->
       filter_tq(Line, E, Filter, Mc, St, Qs, fun lc_tq/5);
   lc_tq(Line, E0, [], Mc0, St0) ->
  
positive.code:     Fun = #ifun{anno=LAnno,id=[],vars=Vars,clauses=Cs,fc=Fc},
      {#iletrec{anno=LAnno#a{anno=[list_comprehension|LA]},defs=[{{Name,2},Fun}],
                body=Pre ++ [#iapply{anno=LAnno,op=F,args=[Arg,Mc]}]},
       [],St4};
  bc_tq1(Line, E, [#ifilter{}=Filter|Qs], Mc, St) ->
      filter_tq(Line, E, Filter, Mc, St, Qs, fun bc_tq1/5);
  bc_tq1(_, {bin,Bl,Elements}, [], AccVar, St0) ->
  
negative.code: %% lc_tq(Line, Exp, [Qualifier], Mc, State) -> {LetRec,[PreExp],State}.
  %%  This TQ from Simon PJ pp 127-138.  
  
  lc_tq(Line, E, [#igen{anno=GAnno,ceps=Ceps,
  		      acc_pat=AccPat,acc_guard=AccGuard,
                        skip_pat=SkipPat,tail=Tail,tail_pat=TailPat,
                        arg={Pre,Arg}}|Qs], Mc, St0) ->
      {Name,St1} = new_fun_name("lc", St0),
  