Patches Assured up to Trace Equivalence - View it on GitHub