Minor refactoring
Completed DLV solver invocation