mythril/analysis/solver: Refactor to support changes in calldata
mythril/analysis/solver: Refactor to support changes in calldata

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