Add a new NFA representation lib