Add more constraints to the test case for extracting a file