Contains the classes needed to analyze multithreaded programs (TVMC).