Code Style

During the manual portion of the audit, we identified 7 optimizations that can be applied to the codebase that will decrease the operational cost associated with the execution of a particular function and generally ensure that the project complies with the latest best practices and standards in Solidity.

Additionally, this section of the audit contains any opinionated adjustments we believe the code should make to make it more legible as well as truer to its purpose.

These optimizations are enumerated below:

ID	Severity	Addressed	Title
ERC-01C			Ineffectual Usage of Safe Arithmetics
ERC-02C			Inefficient Assignment of Revised Allowance
ERC-03C			Inefficient Contract Existence Checks
ERC-04C			Inefficient mapping Lookups
ERC-05C			Misleading Invariant Conditional
HTS-01C			Direct Hedera Token Service Interactions
HTS-02C			Ineffectual Usage of Safe Arithmetics