The context library of the solver of the given context, if it is reachable (through context_all/2)
The context library among the given libraries, if any (through context_all/2)