A python reimplementation on Proguard's Retrace