try to use testAdd_whenInTxn