anchor.diff:      {V,St1} = new_from_var(St0),
       new_from_vars(N-1, St1, [V|Vs]);
   new_from_vars(0, St, Vs) -> {Vs,St}.
  +
  +%% from_pat(Pattern, VarTable, State) ->
  +%%     {Pattern,EqualVar,VarTable,State}.
   
   from_pat({var,_,'_'}, Vt, St) -> {'_',[],Vt,St};    %Special case _
   from_pat({var,_,V}, Vt, St0) ->                     %Unquoted atom
  
positive.code:     {[Lp|Lps],Eqt++Eqts,Vt2,St2};
  from_pat_list([], Vt, St) -> {[],[],Vt,St}.
  
  %% from_pat_rec_fields(Recfields, VarTable, State) ->
  %%     {Recfields,EqTable,VarTable,State}.
  
  
negative.code:     {Ep,Vt1,St1} = to_pat(P, L, Vt0, St0),
      {Eg,St2} = to_body(G, L, Vt1, St1),
      {Eb,St3} = to_body(B, L, Vt1, St2),
      {{clause,L,[Ep],[Eg],Eb},St3};
  to_icrt_cl([P|B], L, Vt0, St0) ->
      {Ep,Vt1,St1} = to_pat(P, L, Vt0, St0),
      {Eb,St2} = to_body(B, L, Vt1, St1),
  