Server services: client request id value 0 is not accepted
Description
Request id 0 should be supported since part 6 indicates:
The RequestId only needs to be verified by the Client since only the Client knows if it is valid or not.
Analysis
message_in_bs:is_valid_request_context
operation is used to check if the request id is valid and value 0 is considered as undetermined value.
Implementation
message_in_bs:is_valid_request_context
operation should be removed
Note: an abstract variable to indicate the request Id has been correctly extracted might be used instead of using 'indet' value