I would have done this with a return statement

if frobnicatable then
   let x = frobnicate () in
   if frob_ok x then
       x
   else
      fallback  ()
else
   fallback ()