Add a command-line tool with transactional safety checkers. Known issues are: #1 and #2