now getting verification/inference errors for STM