Add new theory: Threads