Correctly handle case with both finally and catch in no-empty