Adding files for HypoTestInverter