for each child:
	a := max(a, f(a, child))
        if cond2:
        	break
return a

(last (take-while cond2 (reductions #(f % %2) initial-a childs)))