Under Consideration for Publication in Theory and Practice of Logic Programming Certificate Size Reduction in Abstraction-carrying Code *