readded TCs
added PolideaTestRunner to manifest