anchor.diff:  not_restricted(h, []) ->
       true;
   not_restricted(b, []) ->
  -    true;
  -not_restricted(which, [_]) ->
  -    true;
  -not_restricted(import, [_]) ->
  -    true;
  -not_restricted(import_all, [_]) ->
  -    true;
  -not_restricted(use, [_]) ->
  -    true;
  -not_restricted(use_all, [_]) ->
       true;
   not_restricted(history, [_]) ->
       true;
  
positive.code:     list_commands(Ds, RT);
  list_commands([], _RT) -> ok.
  
  list_bindings([{{module,M},Val}|Bs], RT) ->
      io:fwrite(<<"~w is ~w\n">>, [M,Val]),
      list_bindings(Bs, RT);
  list_bindings([{Name,Val}|Bs], RT) ->
      case erl_eval:fun_data(Val) of
          {fun_data,_FBs,FCs0} ->
  
negative.code:     [E].
  
  check_command(Es, Bs) ->
      erl_eval:check_command(Es, Bs).
  
  expr(E, Bs, Lf, Ef) ->
      erl_eval:expr(E, Bs, Lf, Ef).
  
  expr_list(Es, Bs, Lf, Ef) ->
      erl_eval:expr_list(Es, Bs, Lf, Ef).
  
  %% Note that a sequence number is used here to make sure that if a
  %% record is used by another record, then the first record is parsed
  