fix to avoid extracting some cases
prove conflist