anchor.diff:      case Ctxt of
   	effect ->
   	    add_warning(Map, useless_building),
  -	    expr(make_effect_seq(Es, Sub), Ctxt, Sub);
  +	    make_effect_seq(Es, Sub);
   	value ->
   	    V = expr(V0, Ctxt, Sub),
   	    ann_c_map(Anno,V,Es)
  
positive.code: 
  function_1({#c_var{name={F,Arity}}=Name,B0}) ->
      try
  	B = expr(B0, value, sub_new()),			%This must be a fun!
  	{Name,B}
      catch
  	Class:Error ->
  	    Stack = erlang:get_stacktrace(),
  	    io:fwrite("Function: ~w/~w\n", [F,Arity]),
  	    erlang:raise(Class, Error, Stack)
      end.
  
  %% body(Expr, Sub) -> Expr.
  
negative.code: sub_new(#sub{}=Sub) ->
      Sub#sub{v=orddict:new(),t=#{}}.
  
  sub_get_var(#c_var{name=V}=Var, #sub{v=S}) ->
      case orddict:find(V, S) of
  	{ok,Val} -> Val;
  