https://123dok.net/document/7qvkv3gz-reachability-analysis-of-innermost-rewriting.html