clean up lease example
better handling of empty transaction
clean up lease example
added wrapper class for AtDo
lease example uses wrapped AtDo