agent Buf0(in,out) = in.Buf1<in,out> 
agent Buf1(in,out) = in.Buf2<in,out> + 'out.Buf0<in,out>
agent Buf2(in,out) = 'out.Buf1<in,out>