I don't think that we need this hack anymore.  nucid's can now handle up to 10000 states.