And offers a unified representation (see plai_db_tuple/8).
At any point of the execution of an analysis its state can be copied with copy_db/2
Unified interface for plai_db instances. Variables in the tuple are:
Same as complete/7 for SgKey, AbsInt, Sg, Call and Succ.
Id is an identifier of a database used at runtime in CiaoPP.