update: toString method for Transaction objects
fix: precondition for closeTransaction method