ll_ThreadAutomata and ll_Thread modified