<statements_try> __CATCH(exec) <statements_catch> __FINALLY <statements

> THEN <statements [...] > THEN <statements> )* ( ELSE <statements