Fixed printing clauses to file