Add: example of eNFA