anchor.diff:  	    end;
   	{value, {_, Val}} ->
   	    expand_parts(T, Bs, [Val|Ack]);
  -	false ->
  -	    expand_parts(T, Bs, Ack)
  +	false  ->
  +	    case get({binding,V}) of
  +		undefined -> expand_parts(T, Bs, Ack);
  +		Valb -> expand_parts(T, Bs, [Valb|Ack])
  +	    end
       end;
   expand_parts([], _,Ack) ->
       lists:reverse(Ack).
  
positive.code: 		{error, RSN} ->
  		    %% Must call init stop here otherwise heart
  		    %% will restart us
  		    init:stop(),
  		    receive nothing -> ok end
  	    end;
  
negative.code: 	    Err
      end.
  
  
  expand_parts([{data, D} |T], Bs, Ack) ->	    
      expand_parts(T, Bs, [D|Ack]);
  expand_parts([{var, V} |T] , Bs, Ack) ->
  