Intermediate values of expression are not subject to mod 2^256, therefore apply modulo first
Intermediate values of expression are not subject to mod 2^256, therefore apply modulo first

b-mueller/mythril,b-mueller/mythril,b-mueller/mythril,b-mueller/mythril