Contains the classes needed to analyze multithreaded programs utilizing Buchi automatons.