A Tool for Detecting Metamorphic Smart Contracts A Tool for Detecting Metamorphic Smart Contracts by Michael Blau