added spec for SynchronousTransactionalMessenger