add test for STM invariant propagation