Bugfix: Assign srcmap when contract name is specified explicitly
Bugfix: Assign srcmap when contract name is specified explicitly

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