Use mythril boolean variable for Or operation over python boolean variable
Use mythril boolean variable for Or operation over python boolean variable

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