Package-level declarations

Clause database backing the argumentation context.

The context of an arg2p solver: clauses kept in branches (see ContextBranches), outside of the theory and of backtracking, which the context_* primitives change and read (see the files of the primitives of the context, on branches, assertions and lookups).