Recovered most of old test cases and fixed PropertyTester and EventTester.