Program Maximum2
declare X: array [1...(2*N-1)] of integer
always
<|| : 0 ::
X[N+] =
A[]>
[] <[] : 1 :: X[] =
max(X[2*], X[2*+1])>
end Maximum2
Program Maximum3
assign <|| : 0 ::
A[]
:= max(A[2*], A[2*+1])>