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

(last (take-while cond-inverted (reductions #(max % (f % %2)) initial-a childs)))