Fixing ProofFormat double include