about(pid,
	_,
	[counts=C,breaks=B,maxB=MaxB],
	pid(C,B,MaxB),
	pid([],[],0)
).

eat(N,pid(C0,B0,MaxB0),pid(C,B,MaxB)) :-


tree3([K1=V1,K2=V2,K3=V3],
		t(K3,V3,
			t(K1,V1,_,_),
			t(K2,V2,_,_)))).

tree7([