Allow arbitrary subproofs' name
Add forged sample proofs