Whitelist permitted types when adding constraint in integer_underflow.py
Whitelist permitted types when adding constraint in integer_underflow.py

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