Ideas.Common.Rewriting.Confluence
isConfluent
checkConfluence
checkConfluenceWith
somewhereM
data Config
defaultConfig
showTerm
complexity
termEquality