In the docs it says that DLV returns `CounterExampleResult` but there is a possibility that the solver returns `ReachabilityResult`
In the docs it says that DLV returns
CounterExampleResultbut there is a possibility that the solver returnsReachabilityResult