empty statement sequence before RETURN is a valid case