Topoprocessing - reworked test Unification Termination Point Inside