Get rid of the MDPState::operator<(), since we are not using it and plus it has very doubtful semantics