++check definite return in local functions