The problem of programs termination is a fundamental problem in Computer Science, and has always gained interest from research communities, due to the challenge of dealing with a problem that has been proved to be ...