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

Adding command &filter_equiv to filter candidate equivalence classes using indexes of disproved POs after handling SRM as a multi-output miter.