Further checks for valid return statements - do accept throwing of exceptions as
alternative to returning an value.