I'm encountering an issue when using the Azure ServiceBus Python SDK version 7.14.2. After upgrading from version 7.8.0, I've switched from using the uamqp library to the websocket-client library ...

A type error occurs when running mythril against a target contract: TypeError: 'NoneType' object is not iterable. Unfortunately, I cannot paste the target contract ...