Eliminating nested B definitions