for a, b being Int-Location holds not SubFrom (a,b) is halting ;