* writing conflict clauses to file