Marking Existing Transaction Assertions