https://123dok.net/document/yr36j99o-smt-techniques-and-solvers-in-automated-termination-analysis.html