https://123dok.net/document/6qm44l5q-towards-static-analysis-of-functional-programs-using-tree-automata-completion.html