Support for Determinization of NFA