Remove Trace Analysis by Contract slide