disable more case-distinctions for testing