Fix for transact
Fix for transact

When reading a second time a value it must take it from the read log
instead of retrieving it again.

Note: there is a problem with the implementation of CharyAdd

theraot/Theraot