ap.proof.certificates
Apparently this function cannot be included in BetaCertificate ("illegal cyclic reference").
Apparently this function cannot be included in BetaCertificate ("illegal cyclic reference"). Compiler bug?