Add @clause for all clauses in proof

Even for unit and empty clauses.