Thanks for the suggestions, I think I've found a clear answer.
The rule I was looking at (PBP 9.12) is "returning failure". This isn't actually a case of returning failure, rather one of returning falsehood. So I'm going to go with JavaFan and explicitly return undef from the method.