Tests for conformance checkers.