Removed incorrect postcondition for handle_use_proxy