The exception class thrown by all the NDFA functions