prove that post bodies are empty for WS