This module checks cases that cannot be tested by unit tests.