From the Main invariants:
However, if address(0) is blacklisted, non-blacklisted addresses cant burn their tokens, which violates the main invariants.
It is recommended to modify the code as follows:
