Collection of tools and test cases for analyzing MIT CRM output