Fix false-positive assertion violation (SWC-110) at PC 0 for contracts without assert (#1911)#1922

jose-compu wants to merge 1 commit intoConsenSysDiligence:developConsenSysDiligence/mythril:developfrom

jose-compu:fix/spurious-assertion-violation-pc0-1911jose-compu/mythril:fix/spurious-assertion-violation-pc0-1911Copy head branch name to clipboard