DLVMC: Enhanced Model Checking in DLV