Thorough Checking Revisited