Black-box transactional safety checker based on cycle detection - View it on GitHub