 defined by the user's input when the program is executed).Here the termination analysis must take into account all possible values of UNKNOWN and find out that in the possible case of UNKNOWN = 0 (as in the original example) the termination cannot be shown.There is, however, no general procedure for determining whether an expression involving looping instructions will halt, even when humans are tasked with the inspection.