anchor.diff:  exp_nequal(As, Op, St0) ->
       {Ls,St1} = exp_args(As, St0),
       Ts = op_all_pairs(Ls, Op),
  -    {['let*',Ls,['andalso'|Ts]],St1}.
  +    {exp_let_star([Ls,exp_andalso(Ts)]),St1}.
   
   op_all_pairs([], _) -> [];
   op_all_pairs([[V,_]|Ls], Op) ->
  
positive.code:     {Exp,St1} = lc_te(Es, Qs, St0),
      {yes,Exp,St1};
  %% Add an alias for lc.
  exp_predef(['list-comp'|Lbody], _, St) -> {yes,[lc|Lbody],St};
  exp_predef([bc|Bbody], _, St0) ->
      %% (bc (qual ...) e ...)
      [Qs|Es] = Bbody,
      {Exp,St1} = bc_te(Es, Qs, St0),
      {yes,Exp,St1};
  %% Add an alias for bc.
  exp_predef(['binary-comp'|Lbody], _, St) -> {yes,[bc|Lbody],St};
  exp_predef(['andalso'|Abody], _, St) ->
      Exp = case Abody of
                [E] -> E;                         %Let user check last call
                [E|Es] -> ['if',E,['andalso'|Es],?Q(false)];
                [] -> ?Q(true)
            end,
      {yes,Exp,St};
  exp_predef(['orelse'|Obody], _, St) ->
      Exp = case Obody of
                [E] -> E;                         %Let user check last call
                [E|Es] -> ['if',E,?Q(true),['orelse'|Es]];
                [] -> ?Q(false)
            end,
      {yes,Exp,St};
  %% The fun forms assume M, F and Ar are atoms and integer.
  exp_predef(['fun',F,Ar], _, St0) ->
  
negative.code:     Exp = exp_prefix(Abody),
      {yes,Exp,St};
  exp_predef(['?'|As], _, St) ->
      Omega = [omega,omega],
      Exp = case As of
                [To,Def] -> ['receive',Omega,['after',To,Def]];
                [To] -> ['receive',Omega,['after',To,[exit,?Q(timeout)]]];
                [] -> ['receive',Omega]
            end,
      {yes,Exp, St};
  exp_predef(['list*'|As], _, St) ->
      Exp = exp_list_star(As),
      {yes,Exp,St};
  exp_predef(['let*'|Lbody], _, St) ->
      Exp = exp_let_star(Lbody),
      {yes,Exp,St};
  exp_predef(['flet*'|Lbody], _, St) ->
      Exp = exp_flet_star(Lbody),
      {yes,Exp,St};
  exp_predef(['cond'|Cbody], _, St) ->
      Exp = exp_cond(Cbody),
      {yes,Exp,St};
  exp_predef(['do'|Dbody], _, St0) ->
      %% (do ((v i c) ...) (test val) . body) but of limited use as it
  