Add tests for consistency checks in OSATE