for x being object
for p being XFinSequence holds CutLastLoc (p ^ <%x%>) = p