added hard coded nfas