Implemented isOptimist() in Tx