Fix coverage calculation vs. metadata (#529)
Fix coverage calculation vs. metadata (#529)

* Fixes symbolic reentrancy example

* Fix coverage Issue# 527

* Remove  debug unused code

trailofbits/manticore,montyly/manticore,trailofbits/manticore,montyly/manticore,trailofbits/manticore