Refactor test generation/extraction
Keep only minimal erroneous tests