Remove unnecessary formalization of NFA expansion