* [SC] Various small cleanups, e.g. superfluous module imports.
* [DH_AGENT,NEW] Added agent_self_graph/1.
* [DH_ENTAILEMT,DH_SEARCH,SC] Simplified code by reusing code in DH_AGENT.
* [DH_SEARCH,FIX] Added disjunction.