small change in dlvhex.cpp (ensure that the most efficient evaluation strategy is used even if the support sets option is enabled)