FIP for adding support to Testudo Proofs