threadStackUnderflow: put the new TSO on the mut list if necessary