TestAuxiliary.hs
TestCH.hs
TestClosure.hs