Bad postcondition for handle_use_proxy

Please review, to see if this is the correct fix.