watch for recursive loop in tsolve