Add more SPASS proofs