In some special cases it is possible to detect if a STM transaction blocks indefinitely so we can abort here.