DLV does not always return CounterExampleResult

[p-skaisgiris]

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