https://123dok.net/document/q2n3vo9r-reachability-analysis-of-innermost-rewriting-extended-version.html