The LEAVE statement is a control statement that allows you to leave a labeled compound statement or a labeled loop. Execution
resumes at the first statement after the compound statement or loop.
The compound statement that is the body of a procedure or trigger has an implicit label that is the same as the name of the
procedure or trigger.