($method eq "post") -> ($contenttype eq "application/x-www-form-urlencoded)

##</code><code>##

implies(($method eq "post") => 
        ($contenttype eq "application/x-www-form-urlencoded))