Proof Test Coverage