#51 ReturnStatement should be able to resolve its return type.