extract_proofs: add bad_proofs.tex (table for unproved instances)