https://9dok.net/document/qo51m7w7-proving-termination-of-programs-automatically-with-aprove.html