TDML Rule Hangs on Circuit Decision