This is useful for POSIX-like platforms that do not have rlimit,
such as WASI.

add a new field to the ABC Frame. The new field is a callback that may be called by a BMC-like engine when a frame is done and a PO is either known to be SAT or UNSAT up to a specific frame