only the final return statement must be annotated; added missing void return type rules