A simple confluence tool, demonstrating the term-rewriting library.