Additionally, add extra "." for `MAKE_ERROR(tecBAD_PROOF, "Proof cannot be verified"),`
Additionally, add extra "." for
MAKE_ERROR(tecBAD_PROOF, "Proof cannot be verified"),