Removed incorrect postcondition for handle_use_proxy
Merge pull request #52 from colin-adams/master

Bad postcondition for handle_use_proxy