Fixed broken tests and added new validators

* fixed broken tests: SystemB6Test and SystemC0Test
* added new validators and corresponding tests: SystemE0 and SystemE0Test, SystemE1 and SystemE1Test