Use global_state.new_bitvec vs directly initializing the bitvector
Use global_state.new_bitvec vs directly initializing the bitvector

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