Well at the moment you would need to do something like:

create l_response.make (req)
l_known_methods := l_response.recognized_methods
if l_recognized_methods /= Void then
  Result := l_recognized_methods.has (req.request_method)
end

I'm not sure if that can be neatly done as an assertion.