Java Httpclient Post Formal Reasoning