Termination checking