 In termination analysis one may also try to determine the termination behaviour of some program depending on some unknown input.The following example illustrates this problem.Here the loop condition is defined using some value UNKNOWN, where the value of UNKNOWN is not known (e.g.