Update `have_received` matcher to latest protocol.