added 3 new test files related to inheritance & effect checking