// after

public import from a;
public import from b;

// lookup procedure for ab becomes

result_self = lookup_self()
if not result_self:
	result_a = a.lookup()
	result_b = b.lookup()
	return merge(result_a, result_b)
else:
	return result_self