I might add, if you use temporary variables, initialize them prior to entering the transaction, and then re-initialize them to same value before exit of transaction. The elison functionality will then void all writes to the temporary variable (inside the transaction).