DSL NFA creation also added