Verifying subl self-terminating hypothesis